function cat_over(butt){
		document.getElementById(butt).style.backgroundColor='#B70707';
}

function cat_out(butt){
		document.getElementById(butt).style.backgroundColor='#FFFFFF';
}