/* Rollover bei Navigation */
function navhover(imgid, action, linkcolor) {
	if(action == 'over') {
		document.getElementById(imgid).src = 'pictures/' + 'dot' + linkcolor + '.gif';	
	} else {
		document.getElementById(imgid).src = 'pictures/spacer.gif';		
	}
}

function openlayer(id) {
	
	var mylayer = document.getElementById(id);
	if(mylayer.style.visibility == 'visible') {
		mylayer.style.visibility = 'hidden';
	}
	else {
		mylayer.style.visibility = 'visible';
	}
	return true		
}
	
function closelayer(id) {
	
	var mylayer = document.getElementById(id);
	if(mylayer.style.visibility == 'visible') {
		mylayer.style.visibility = 'hidden';
	}
	return true		
}

var ie=document.all
var ns6=document.getElementById&&!document.all

var dragapproved=false
var z,x,y

function move(e){
	if (dragapproved){
		z.style.left=ns6? temp1+e.clientX-x: temp1+event.clientX-x;
		z.style.top=ns6? temp2+e.clientY-y : temp2+event.clientY-y;
		return false
		}
}

function drags(e){
if (!ie&&!ns6) return
var firedobj = ns6 ? e.target : event.srcElement
var topelement = ns6 ? "HTML" : "HTML"

while (firedobj.tagName!=topelement && firedobj.className!="drag"){
	firedobj = ns6 ? firedobj.parentNode : firedobj.parentElement
}

if (firedobj.className=="drag"){
	dragapproved=true
	z=firedobj
	temp1=parseInt(z.style.left+0)
	temp2=parseInt(z.style.top+0)
	x=ns6? e.clientX: event.clientX
	y=ns6? e.clientY: event.clientY
	document.onmousemove=move
	return false
	}
}
document.onmousedown=drags
document.onmouseup=new Function("dragapproved=false")

function formCheck(){
	var formOK = true;
	var formMsg = "This fields are required:\n\n";
	if(document.contactForm.lastName.value == "") {
		formOK = false;
		formMsg = formMsg + "- last name\n";
	}
	if(document.contactForm.emailaddress.value == "") {
		formOK = false;
		formMsg = formMsg + "- email address\n";
	}	
	if(formOK == false) {
		alert(formMsg);
	}
	return formOK
}

function changepic(img_id, action) {
	var img_path = "pictures/";
	
	if(action == 'over') {
		document.getElementById(img_id).src = img_path + img_id + 2 + '.jpg';
	} else {
		document.getElementById(img_id).src = img_path + img_id + 1 + '.jpg';
	}
}