document.write("94012")