document.write ("6200");