function back ()
{ history.back (); }

bild1=new Image
bild1.src="http://www.geovision3.net/de/images/nav/pfeil_links_out.jpg"
bild2=new Image
bild2.src="http://www.geovision3.net/de/images/nav/pfeil_links_over.jpg"

bild3=new Image
bild3.src="http://www.geovision3.net/de/images/nav/bild_home_over.jpg"
bild4=new Image
bild4.src="http://www.geovision3.net/de/images/nav/bild_home_out.jpg"

function frameset()
{
        if(top.frames.length == 0)
                { top.location = "../index.html" }
}