function glsearch(){return mr("/glsearch?search="+document.getElementById("dictsearch").value)}function mr(url){window.opener.location=window.location.protocol+"//"+window.location.hostname+(window.location.port?":"+window.location.port:"")+url;window.opener.focus();return false}function gscroll(pos){document.getElementById("list").scrollTop=(15*pos+10);return false};