document.write ("800 ");