document.writeln(" 7312 ");