document.write("001240");