document.write("943 ");