document.writeln(" 10094 ");