document.write ("13000");