function getObj(name){
   var obj;
   if (document.getElementById){
      obj = document.getElementById(name);
   }
   else if (document.all){
      obj = document.all(name);
   }
   else if (document.layer){
      obj = document.layer(name);
   }
   return obj;
}

function hide(){
   var args = hide.arguments;
   for (var i = 0; i < args.length; i++){
      getObj(args[i]).style.display = "none";
   }
}

function show(){
   var args = show.arguments;
   for (var i = 0; i < args.length; i++){
      getObj(args[i]).style.display = "block";
   }
}

function mail(name, domain, country){
   return "mailto:" + name + "@" + domain + "." + country;
}