document.write ("13500");