document.write ("3923 ");