function Roll_gif(id,over)
{
	if(window.document.images) 
	{
		if (over)
			window.document.images[id].src = "images/" + id + "_over.gif";
		else
			window.document.images[id].src =  "images/" + id + ".gif";
	}
}
/////////////////////////////