/*Action Button*/
function button_action_high(elem)
  	{
          document.getElementById(elem).style.backgroundColor="red";
          document.getElementById(elem).style.cursor="hand";
          document.getElementById(elem).style.cursor="pointer";
         }
function button_action_low(elem)
  	{
          document.getElementById(elem).style.backgroundColor="orange";
          document.getElementById(elem).style.color="#fff";
         }
		 
		 /*Action Button*/
function button_normal_high(elem)
  	{
          document.getElementById(elem).style.backgroundColor="red";
          document.getElementById(elem).style.cursor="hand";
          document.getElementById(elem).style.cursor="pointer";
         }
function button_normal_low(elem)
  	{
          document.getElementById(elem).style.backgroundColor="#666";
          document.getElementById(elem).style.color="#fff";
         }
		 
/*Last Update*/		 
 function monthofYear(mon)
      {
       switch( mon ) {
       case 0: s = "Januar"; break;
       case 1: s = "Februar"; break;
       case 2: s = "März"; break;
       case 3: s = "April"; break;
       case 4: s = "Mai"; break;
       case 5: s = "Juni"; break;
       case 6: s = "Juli"; break;
       case 7: s = "August"; break;
       case 8: s = "September"; break;
       case 9: s = "Oktober"; break;
       case 10: s = "November"; break;
       case 11: s = "Dezember"; break;
       default: s = "Unknownmonth"
       }
       return s;
      }
      
      var lastmod = document.lastModified;
	     // get string of last modified date
      var lastmoddate = Date.parse(lastmod);
      if(lastmoddate == null){               // unknown date (or January 1, 1970 GMT)
         document.writeln("Last Modified: Unknown")
      } else {
      var d = new Date(lastmod);
      var year=d.getFullYear();
      
      }
/*Aktuelles Datum*/
var aktuellesdatum=new Date ();
var aktuell=aktuellesdatum.getMonth ()+1;