function runEx(cod1) { var code = document.getElementById(cod1).value; if (code != "") { var newwin = window.open('', '', ''); newwin.opener = null; newwin.document.write(code); newwin.document.close() }}function doCopy(ID) { if (document.all) { textRange = document.getElementById(ID).crea
最活跃的读者