// JavaScript Document

function image_hover(id)
{
		x = document.getElementById(id);
		newsrc = x.src.substring(0, x.src.length-4)+'_hover'+'.gif';
		x.src = newsrc;
}

function image_out(id)
{
		x = document.getElementById(id);
		newsrc = x.src.substring(0, x.src.length-10)+'.gif';
		x.src = newsrc;
}