xhtml=js=0;
function toCode(){
str=source.value;c=r=Result="";flag();
for(i=0;i':'>';
}
Result+='s="'+r+'";e=r="";';
Result+='for(i=0;i';
source.value=Result;
}
function Delete(){
source.value="";
location.reload();
}
function Copy(){
clipboardData.setData("text",source.value);
}
function Paste(){
source.value=clipboardData.getData("text");
}
function Setting(){
window.open("23-1.html","","width=350,height=350");
}
function test(){
flag();
newwin=window.open();
if(js) newwin.execScript(source.value);
else newwin.document.write(source.value);
}
function flag(){
switch(kind.selectedIndex){
case 0:xhtml=1;break;
case 2:js=1;break;
}}