document.writeln(" 6080 ");