document.writeln(" 8312 ");