document.write (" 6200 ");