document.write('931302');