document.writeln(" 12 ");