document.write('001235');