function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}
function s(o){
if(w.value.length>0){
var h = o.href;
var q = encodeURIComponent(w.value);
if(h.indexOf("q=")!=-1){
o.href=h.replace(new RegExp("q=[^&$]*"),"q="+q)
}else{
o.href+="?q="+q
}
}
};