document.write('01232');