document.write('006231');