function addfavorite()
{ 
  var url='http://www.gutscheini.com/'; 
  switch(getOs()) { 
    case 1:
      window.external.addFavorite(url,'Gutscheini - Gutscheincodes, Rabatte und Mehr!');
    break; 
    case 2:
      window.sidebar.addPanel('Gutscheini - Gutscheincodes, Rabatte und Mehr!',url, "");
    break; 
      case 0:
    break; 
  }
}

function getOs()
{ 
   if (navigator.userAgent.indexOf("MSIE") > 0)
      return 1; 
   if (isFirefox = navigator.userAgent.indexOf("Firefox") > 0)
      return 2; 
   if (isSafari = navigator.userAgent.indexOf("Safari") > 0) 
      return 3; 
   if (isCamino = navigator.userAgent.indexOf("Camino") > 0)
      return 4; 
   if(isMozilla = navigator.userAgent.indexOf("Gecko/") > 0)
      return 5; 
   return 0;
}