document.write('931402');