document.write ("3918");