document.write ("942 ");