/*
Normal1 = new Image();
Normal1.src = "pix/picture.jpg";     
Highlight1 = new Image();
Highlight1.src = "ani/picturelink.gif"; 

Normal2 = new Image();
Normal2.src = "pix/mail.jpg";     
Highlight2 = new Image();
Highlight2.src = "ani/maillink.gif"; 

Normal3 = new Image();
Normal3.src = "pix/about.jpg";     
Highlight3 = new Image();
Highlight3.src = "ani/aboutlink.gif"; 

Normal4 = new Image();
Normal4.src = "pix/style.jpg";     
Highlight4 = new Image();
Highlight4.src = "ani/stylelink.gif"; 

 usw. fuer alle weiteren zu benutzenden Grafiken 

function Bildwechsel (Bildnr, Bildobjekt) {
  window.document.images[Bildnr].src = Bildobjekt.src;
}
*/

function framechange (Framename, URI) 
	{
	ur = URI + ".html";
	parent[Framename].location.href = ur;
	}
	
function framechangepic (Framename, URI) 
	{
	ur = URI + ".jpg";
	parent[Framename].location.href = ur;
	}