<!--
favorites=new Image();
favorites.src="pix/tofavorites.gif";
favorites1=new Image();
favorites1.src="pix/tofavorites1.gif";

vcard=new Image();
vcard.src="pix/vcard.gif";
vcard1=new Image();
vcard1.src="pix/vcard1.gif";

sitemap=new Image();
sitemap.src="pix/sitemap.gif";
sitemap1=new Image();
sitemap1.src="pix/sitemap1.gif";

function bildchg(bild,index){
	if(document.images){
	document.images[index].src=bild.src;
	}
}
//-->