document.writeln(" 6872 ");