<!-- hide
var name = getValue("search");
document.write('<form action="http://www.dtsemi.com/cgi-bin/search.pl" name="searchform" method="POST" target="page"><input type="hidden" name="search" value=');
document.write(name);
document.write('></form>');
// end hide -->


