$(document).ready(EnhanceNav);
function EnhanceNav() {
    $("#right").hide().fadeIn(2000);
	//$("#nav > a").hover(FadeIn,FadeHalfOut);
}
function FadeIn(){
	$(this).stop().fadeTo(100,1);
}
function FadeHalfOut(){
	$(this).stop().fadeTo(2000,.5);
}
function Enlarge(){
	if (this.origSize == undefined){
	    this.origSize = {height: this.clientHeight, width: this.clientWidth};
	}
	var enlarge = 1.25;
	var newSize = {height: this.origSize.height * enlarge, width: this.origSize.width * enlarge};
	
	$(this).stop().animate(newSize, 2000);
}
function ReturnSize(){
	$(this).stop().animate(this.origSize, 2000);
}