/* Hover Effect */
function over(num){
	var obj = document.getElementById(num);
	obj.src="fest10img/"+num+"_g.gif";
}
function down(num){
	var obj = document.getElementById(num);
	obj.src="fest10img/"+num+"_r.gif";
}
function out(num){
	var obj = document.getElementById(num);
	obj.src="fest10img/"+num+"_b.gif";
}