document.write("95012")