
function debug_popup (theString) {
var params = "width=800,height=100,resizable,scrollbars";
var newWin = window.open('', 'NewWindow', params);
newWin.document.open;
newWin.document.write("<HTML><HEAD><TITLE>DEBUG</TITLE></HEAD><BODY><PRE>");
newWin.document.write(theString);
newWin.document.write("</PRE></BODY></HTML>");
newWin.document.close;
return;
}


