function mouseOverImage(anzeigeString, picID)
{
	document.getElementById('navigationsinfo').innerHTML = '<font color="orange"><strong>' + anzeigeString + '</strong></font>';
	document.getElementById(picID).style.borderBottom = '2px solid #a0b6c1';
}

function mouseOutImage(picID)
{
	document.getElementById('navigationsinfo').innerHTML = "&nbsp;";
	document.getElementById(picID).style.border = 'none';
}