document.writeln(" 5872 ");