document.write('01235');