document.write ("943840");