// main.js

immogif = new myBildwechsel( "immo", "images/immo2.gif", "images/immo.gif" );
// jobgif = new myBildwechsel( "job", "images/job2.gif", "images/job.gif" );
autogif = new myBildwechsel( "auto", "images/auto2.gif", "images/auto.gif" );
feriengif = new myBildwechsel( "ferien", "images/ferien2.gif", "images/ferien.gif" );
fundgrubegif = new myBildwechsel( "fundgrube", "images/fundgrube2.gif", "images/fundgrube.gif" );
// kontaktgif = new myBildwechsel( "kontakt", "images/kontakt2.gif", "images/kontakt.gif" );

function myBildwechsel( name, neusrc, altsrc )
	{
	this.name = name;
	this.neusource = new Image()
	this.neusource.src = neusrc;
	this.altsource = new Image()
	this.altsource.src = altsrc;

	this.bildwechsel = function() {
		if (this.altsource.src == "") {this.altsource.src = document.images[this.name].src; }
		(document.images[this.name].src == this.altsource.src)?document.images[this.name].src = this.neusource.src:document.images[this.name].src = this.altsource.src;
		}
	this.altesBild = function() {
		document.images[this.name].src = this.altsource.src;
		}
	}

function alleAlt() {
	immogif.altesBild();
//	jobgif.altesBild();
	autogif.altesBild();
	feriengif.altesBild();
	fundgrubegif.altesBild();
//	kontaktgif.altesBild();
	}