document.write ("6200 ");