code_win.document.writeln('window.onerror = reportError;');
code_win.document.writeln('<\/script>');
code_win.document.writeln(str);
code_win.document.close();
return;
}
function savecode() {
var str = document.getElementById('txt_main').value;
var code_win = window.open('about:blank','_blank','top=10000');
code_win.document.open();
code_win.document.writeln(str);
code_win.document.close();
code_win.document.execCommand('saveas','','code.html');
code_win.close();
return;
}
function goto(ln) {
if(!/^\d+$/.

