function clear_default( ctrl, default_value ) {
  try {
    switch( ctrl.type ) {
    case "text":
      if( ctrl.value == default_value ) {
	ctrl.value = "";
      }
      break;
    case "textarea":
      if( ctrl.value == default_value ) {
	ctrl.value = "";
      }
      break;
    }
  }
  catch( ex ) {
  }
}
function gotopage() {
   var ctrl = document.frm_quick_links.whereto;
   if( ctrl.selectedIndex > 0 ) {
     var dest = ctrl.options[ ctrl.selectedIndex ].value;
     if( dest != "" ) {
       location.href = dest;
     }
   }
 }