<!--
//
function change(Name,Image,No) { if (document.images) {document[Name].src = eval(Image + No + ".src");} }
function goSearch(form) { 
txt = replaceStringAll(form.TXT.value , " " , "+" );     //form.TXT.value;
document.location.href ="http://www.destru.com/cgi-bin/htsearch?config=htdig&method=and&format=builtin-long&words=" + txt;
} 
//-->>