var imagedir

/* Default Image Directory: */
imagedir = "buttons/"

function imgChange(imageid, action)
{
	if(action) /* mouseOver */
	{
		document.all['menu_' + imageid].src = imagedir + document.all['menu_' + imageid].name + "-over.gif";
	}
	else /* mouseOut */
	{
		document.all['menu_' + imageid].src = imagedir + document.all['menu_' + imageid].name + ".gif";
	}
}