function cnav_highlight(idstring)
{
	document.getElementById(idstring).src = "../../images/general/cnav_strichel_rot.gif";
}
function cnav_normalize(idstring)
{
	document.getElementById(idstring).src = "../../images/general/cnav_strichel.gif";
}