document.write ("943 ");