<!--
// he_javascript.js
// Copyright: Reinhold Herrmann 2001
// eMail:     webmaster@reherrma.de


//--------Herrmann-Rad-----------------------------------------------------
 
//  The original Source Code was taken with permission from http://www.projectcool.com
//  A good source for dynamic HTML anyway. Thank you guys!!
//  NOTE:  New Browser detection code, more effecient and allows Netscape 4.0
//  and Microsoft IE 34.0
//
//  Copyright 1996-97 Project Cool, Inc.  Used by the net, with permission but
//  we would appreciate it if you would give us credit in the source or a link
//  from your site.
//

	<!--
	browser = (((navigator.appName == "Netscape") && (parseInt(navigator.appVersion) >= 3 )) || ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 4 )))
	if (browser) 
{
		picture = new MakeImageArray(9)
		picture[0].src = "start/02.gif"
		picture[1].src = "start/36.gif"
		picture[2].src = "start/90.gif"
		picture[3].src = "start/144.gif"
		picture[4].src = "start/178.gif"
		picture[5].src = "start/146m.gif"
		picture[6].src = "start/90m.gif"
		picture[7].src = "start/34m.gif"
		picture[8].src = "start/mmo.gif"}
		
	
      function MakeImageArray(n) {
              this.length = n
              for (var i = 0; i<=n; i++) {
                      this[i] = new Image()
                      }
              return this
      }

	function msover(num) {
		if (browser)
		{			
				document.images[3].src = picture[num].src
			}
		}

	function msout(num) {
		if (browser)
		{
           		document.images[3].src = picture[8].src
			}	            
		}
//-->

//--------funktionalitaet menue-----------------------------------------------------

function date_de(){
mn=new Array("Januar","Februar","Maerz","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember")
upd=new Date(document.lastModified);
m=mn[upd.getMonth()];
t=upd.getDate();
jj=upd.getYear();
jj=(jj>=2000)?jj-2000:jj;
j=(jj<80)?jj+2000:jj+1900;
dat=(t+". "+m+" "+j)
}

//---------------------------------------------------------------------------

function Bildwechsel(Bildnr,Bildobjekt)
{
window.document.images[Bildnr].src = Bildobjekt.src;
}

//---------------------------------------------------------------------------

<!--
function doColor(item, color, bg) {
item.style.color = color;
item.style.backgroundColor = bg;
}

function undoColor(item) {
item.style.color = "#191970";
item.style.backgroundColor = "";
}

//-->