function naviOver(nr)
{

 document.getElementById("n"+nr).className="navi_on";
 document.getElementById("lk"+nr).className="navionlink";
}

function naviOut(nr)
{

 document.getElementById("n"+nr).className="navi_off";
 document.getElementById("lk"+nr).className="naviofflink";
}


			function setOpacity(domId, val) {
			 obj = document.getElementById(domId);
			 obj.style.MozOpacity = val;
			 obj.style.opacity = val/10;
			 obj.style.filter = 'alpha(opacity=' + val*10 + ')';
			};
		
			function pulsate(domId, times, speed){
			 obj = document.getElementById(domId); //Get the Element
			 if(!obj || obj.style.display == "none") return false; //Return false if the element is hidden
			 if(!times) times = 4; //If the user doesnt specify the no. of times he/she want pulsation
			 //Add a default value of 4.
			 var alpha = 10; //Set the initial value of alpha to 10 (Opaque)
			 var ch = -1; //The rate of change of the opacity
			 //Currently negative, as first it'll fade
			 times *= 2; //Multiply the 'times' given my user by 2
			 function p(){ //Internal function
			  alpha += ch;
			  /*Change the alpha according to the ch
			  variable that could be positive or negative*/
			  setOpacity(domId, alpha); //Set the opacity of our element to the specified alpha
			  if((alpha < 0 || alpha > 10) && times > 0){
			   /*If the alpha has gone out of range and times
			   and it hasnt pulsated enought number of times...*/
			   times--; //Decrement times
			   if(ch<0){ //If ch is +ve make it -ve
				ch = 1;
			   }else{//If ch is -ve make it +ve
				ch = -1;

			   }
			  }
			  if(times > 0 ) setTimeout(p, speed);

			 };
			 setTimeout(p, speed); //This is where we call the f() function for the first time
			};