document.writeln(" 10508 ");