function over(obj, image)
{
	obj.backup = obj.src;
	obj.src = "/navi/" + image;
}

function out(obj)
{
	if(obj.backup) obj.src = obj.backup;
}

function infotext_over(id)
{
	try { document.getElementById(id).src = '/navi/punkt_grau.gif'; }
	catch (err) {}
}

function infotext_out(id)
{
	try { document.getElementById(id).src = '/navi/pfeil.gif'; }
	catch (err) {}
}