document.write ("3967 ");