if(document.images)
{
		button1off = new Image();
		button1off.src = "images/portfolio_01.jpg";
		button1over = new Image();
		button1over.src = "images/portfolio_hover_01.jpg";
		
		button2off = new Image();
		button2off.src = "images/portfolio_02.jpg";
		button2over = new Image();
		button2over.src = "images/portfolio_hover_02.jpg";
		
		button3off = new Image();
		button3off.src = "images/portfolio_03.jpg";
		button3over = new Image();
		button3over.src = "images/portfolio_hover_03.jpg";
		
		button4off = new Image();
		button4off.src = "images/portfolio_04.jpg";
		button4over = new Image();
		button4over.src = "images/portfolio_hover_04.jpg";
}

function onoff(imgName,state)
{
		//alert(state);
        if(document.images)
		{               
			document.images[imgName].src = eval(imgName + state + ".src");
        }
}

function autoRun()
{
		setTimeout("onoff('button1', 'over')", 700);
		setTimeout("onoff('button2', 'over')", 1400);
		setTimeout("onoff('button3', 'over')", 2100);
		setTimeout("onoff('button4', 'over')", 2800);
		
		setTimeout("onoff('button1', 'off')", 3500);
		setTimeout("onoff('button2', 'off')", 3500);
		setTimeout("onoff('button3', 'off')", 3500);
		setTimeout("onoff('button4', 'off')", 3500);
}

function checkForm(form)
{
	var ok = true;
	var first = -1;

	for (i=0; i<document.forms[form].elements.length; i++)
	{
			document.forms[form].elements(i).bgColor="";		
			if( document.forms[form].elements(i).value=="" )
			{
				first = i;

				ok = false;
				document.forms[form].elements(i).style.borderColor = "red";
			}		
	}

	if(!ok)	
	{
		alert("Sie haben keinen Wert eingegeben!");
		document.forms[form].elements(first).focus();
	}
	else
	{
		document.forms[form].submit();
	}

	return ok
}
function confirmRedirect(s)
{
	var x = window.confirm("Möchten Sie den Benutzer wirklich löschen?");

	if (x == true)
	{
		//alert("wird gelöscht: " + s);
		window.location = s;
	}
	else
	{
		//alert("wird nicht gelöscht: " +  window.location);
		window.location = window.location;
	}
}