// images

highlight_src = '/graphics/dol2_highlight.gif';
lowlight_src = '/graphics/dol2.gif';
highlight_textColor = '#00dd00';
lowlight_textColor = '#000000';

highlight_img = new Image();
highlight_img.src = highlight_src;

function highlight(name) {
	eval("document.images['" + name + "'].src = highlight_src;");
	eval("document.getElementById('" + name + "TextLink').style.color = highlight_textColor;");
}

function lowlight(name) {
	eval("document.images['" + name + "'].src = lowlight_src;");
	eval("document.getElementById('" + name + "TextLink').style.color = lowlight_textColor;");
}