document.write('001234');