function hover(pic_name,x)
{
	if (x == 1)
		var n = pic_name + '_hover.gif';
	else
		var n = pic_name + '.gif';
		
	document.getElementById(pic_name).src = 'images/'+n;
}