<!--
function runcode()
{
code=source.value;
a=window.open()
a.opener=null
a.document.write(code)
a.document.close()
}
function doCopy()
{
	source.select();
	rgn = source.createTextRange();
	rgn.execCommand("Copy");
}

//-->