document.write('001412');