document.write ("7996 ");