function toggle(target,toggle) {
   if(document.getElementById) {
     target_el = document.getElementById(target);
     button_el = document.getElementById(toggle)
    if(button_el.value==">>") {
       button_el.value = "<<"
       button_el.setAttribute("title","Hide these options")
     }  else  {
       button_el.value=">>"
       button_el.setAttribute("title","Expand these options")
     }
     if(target_el.style.display=="none") {
       target_el.style.display="";
     }  else  {
       target_el.style.display="none";
     }
    }
   }