document.writeln(" 12612 ");