function show_hide (the_object) {
   if (parent.objects.document.getElementById(the_object).style.visibility=='visible') {
      parent.objects.document.getElementById(the_object).style.visibility='hidden';
   }else {
      parent.objects.document.getElementById(the_object).style.visibility='visible';
   }
   
}

function do_over (sender) {
   eval(sender).style.background='#B29A63';
   eval(sender).style.color='#000000';
   eval(sender).style.cursor='pointer';
}

function do_out (sender) {
   eval(sender).style.background='#303030';
   eval(sender).style.color='#FFFFFF';
}

function get_url (the_url) {
   document.location=the_url;
}