//This function highlights menu item
//("td" element and its "a" elements)
function highlight(s)
{
  var td = s;
  var a = td.getElementsByTagName("a").item(0);

  td.className = "hover";
  a.className = "hover";
}

//This function restores a menu item to its non-highlighted state
//("td" element and its "a" elements)
function restore(s)
{
  var td = s;
  var a = td.getElementsByTagName("a").item(0);

  td.className = "normal";
  a.className = "normal";
}

// This function sets the url of an image tag.
// It is used to associate an image tile with menu items
function setimage( url, tag )
{
	var imgs = document.getElementsByTagName("img");
	for( i=0; i < imgs.length; i++ )
	{
		var item = imgs.item(i);
		if( item.id == tag )
		{
			item.src = url;
			return;
		}		
	}	
}