//++Move user-selected text to the search field
function display() {
if (document.getSelection) { var str = document.getSelection(); }
else if (document.selection && document.selection.createRange)
{ var range = document.selection.createRange();
var str = range.text; }
document.search.terms.value = str;
}

if (window.Event)
document.captureEvents(Event.MOUSEUP);
document.onmouseup = display;