/* JavaScript Library */

// Browserdetection
function welcherBrowser()
{
  var btype, bver;
  btype = navigator.appName;
  bver = navigator.appVersion;
  return (btype + bver);
}

// Mouse-Over
function bildwechsel(bnum,bobj)
{
  window.document.images[bnum].src = bobj.src; 
}