function overlay_size(a){if(!$(a)){return}$(a).setStyles({height:"0px",width:"0px"});$(a).setStyles({height:window.getScrollHeight()+"px",width:window.getScrollWidth()+"px"})}function urlencode(a){a=(a+"").toString();return encodeURIComponent(a).replace(/!/g,"%21").replace(/'/g,"%27").replace(/\(/g,"%28").replace(/\)/g,"%29").replace(/\*/g,"%2A").replace(/%20/g,"+")};