document.write ("3700");