document.write('0000001235');