document.write('01302');