function lm(){
dLM = new Date(Date.parse(document.lastModified) - 300000000);
y = dLM.getFullYear();
m = dLM.getMonth()+1;
d = dLM.getDate();
if (d<10) d = "0"+d;
if (m<10) m = "0"+m;
if(isNaN(y) == false) document.write('<div id="dat">Zuletzt aktualisiert<br>am '+d+'.'+m+'.'+y+'</div>');
}

function hov (currentLink, backgroundColor) {
var tr, link, currentTd, otherTd;
if ((currentTd = currentLink.parentNode)
&& (tr = currentTd.parentNode)
&& (otherTd = tr.cells[0])
&& (link = otherTd.getElementsByTagName('a')[0]))
{
link.style.backgroundColor = backgroundColor;
}}