document.writeln(" 3080 ");