document.write ("3800")