function wechsel(name,endung)
{
   if (navigator.userAgent.indexOf("MSIE") == -1)
      document.images[name].src = "pix/navigation/"+name+endung+".gif";
   else
      document.all[name].src = "pix/navigation/"+name+endung+".gif";
}
 function mail(){

          var MeinName = "info";

          var MeineDomain = "quant-01";

          var sendmail = 'mailto:' + MeinName + '@' + MeineDomain + '.de'

          window.location.href = sendmail;

        }