document.writeln(" 9506 ");