function changeClass (elementID, newClass) {
	var element = document.getElementById(elementID);
	
	element.setAttribute("class", newClass); //For Most Browsers
	element.setAttribute("className", newClass); //For IE; harmless to other browsers.
}

$(document).ready(function() {
	$("#navigation > li > a").hover(function(){
							$(this).animate({opacity: .25}, 0);
							$(this).animate({opacity: 1}, 400);
						 }
						 ,function(){
							 /*
							 $(this).animate({opacity: .5}, 0);
							 $(this).animate({opacity: 1}, 200);
							 */
						 });
});