document.write ("16000");