document.write("978912")