//my_function.js
// javascript function client side


//function that change background image
function change_backimg(image_number,div_id)
{
	//window.alert("ciao ciao funziona\n");

	var obj=document.getElementById(div_id);

	if(image_number==1)
		obj.style.background="center center url('css/menu_up_red.png') no-repeat";
	else if(image_number==2)
	{
		obj.style.background="center center url('css/menu_up_black.png') no-repeat";
		//obj.style.color="white";
	}
	else if(image_number==3)
		obj.style.background="center center url('css/menu_up_orange.png') no-repeat";
	else
		obj.style.background="center center url('css/menu_up1.png') no-repeat";


}