document.write("94142")