document.write ("3912 ");