function sfHover() {
     var sfEls = document.getElementById("nav").getElementsByTagName("LI");     
	 for (var i=0; i<sfEls.length; i++) {
		 sfEls[i].onmouseover=function() {
			this.className+=" sfhover";
         }
         sfEls[i].onmouseout=function() {
			this.className=this.className.replace(new RegExp(" sfhover\\b"), "");
         }
	 } 
} 
if (window.attachEvent) window.attachEvent("onload", sfHover);

function is_positiv_Number(input){
	var pattern = /^[0-9]*$/;
	return pattern.test(input)
}

function is_Email(input){
	var pattern = /^(\w[-._\w]*\w\.*@\w[-._\w]*\w\.\w{2,6})$/;
	return pattern.test(input)
}

function is_phone(input){
	var pattern = /1?\(?\d\d\d\)?\s?-?\d\d\d\s?-?\d\d\d\d/;
	return pattern.test(input)
}
function is_postal_code(input){
	var pattern = /^[a-zA-Z][0-9][a-zA-Z]\s?-?[0-9][a-zA-Z][0-9]$|^\d\d\d\d\d$/;
	return pattern.test(input)
}