document.write ("3916 ");