// JavaScript Document
//FUNZIONI GENERALI
function mouseover(c) {
	return c + "_hover";
}
function mouseout(c) {
	return c.replace("_hover","");
}