document.write ("12000");