var images_url_nav = "files/navi"; 
var images_url_sonst = "files";

function highlight(element, value){
	element.src = images_url_nav + "/" + element.id+ (value ? "_2" : "") + ".gif";
}

function sonst_highlight(element, value){
	element.src = images_url_sonst + "/" + element.id+ (value ? "_2" : "") + ".jpg";
}