function mail(s1,s2)
  {
  window.location.href = 'mailto:'+s1+'@'+s2
  }

function wopen(href)
  {
  window.open(href)
  return false
  }
  
/*
function browser()
  {
  var s = navigator.userAgent 
  if (s.search('Chrome') > -1 ||
      s.search('Opera')  > -1 ||
      s.search('Safari') > -1)
    // Den Text einen Pixel nach unten verschieben
    document.getElementById('main').style.top = '189px'     
  }
*/