/** JavaScript Funcions **/
function highlight(name,over) {
	if(window.document.images) 
	{
 		if (over)
 			window.document.images[name].src = "/images/elements/" + name + "_over.gif";
 		else 
			window.document.images[name].src = "/images/elements/" + name + ".gif";
	}
 }