document.writeln("12");