document.write("931302")