document.write('002412');