document.write ("3998 ");