document.write("71012")