function bildwechsel(datei,nr)
{
document.images[nr].src=datei;
}

function navimachzu(url1,f1,url2,f2)
{
top.frames[f1].location.href=url1;
top.frames[f2].location.href=url2;
}