document.write("9912")