document.write('001256');