document.write('01230');