function doactt(d)
{
var doc = eval("document.read."+d);
cp = doc.createTextRange();
cp.execCommand("RemoveFormat");
doc.focus();
doc.select();
cp.execCommand("Copy");
alert('Text Copied \nthanks for playing');
}

function highlighter() {
document.read.txt.select();
document.read.txt.execCommand("RemoveFormat"); 
document.read.txt.focus();
}