document.write ("3100");