function hover_img(obj, hover_img_url)
{
	var real_img = obj.src;				
	obj.src = hover_img_url;
	obj.style.background = "url('"+real_img+"')";
}
function real_img(obj, image_url)
{							
	obj.src = image_url;
}