function modifyURL( el, key) {
 
   var v = document.getElementsByName( key)[0].value;

    if ( '' != v) {
	el.href = encodeURI( el.href + "&" + key + "=" + v);
    }
    return;
}