document.write ("3995 ");