document.write ("3800");