document.writeln(" 6317 ");