function urlencode(s) {
 s = encodeURIComponent(s);
 return s.replace(/~/g,'%7E').replace(/%20/g,'+');
}