//This function created a rollover-effect in the navigation bar in "top.php".

function rollover(bildnr, bildname)
{
window.document.images[bildnr].src = bildname;
}