function box_highlight(id)
{
	src_old = "img/index-box-"+id+".jpg";
	src_new = "img/index-box-"+id+"-color.jpg";
	document.getElementById(id).src = src_new;
	document.getElementById(id).onmouseout = function() { document.getElementById(id).src = src_old; } ;	
}