function mail(email) { 
	var email2 = email.split('*AT*').join('@');
	document.location.href = "mailto:" + email2; 
}

function openPrint(url) {
	newWindow = window.open(url,"PrintBox","top=20,left=100,location=no,status=no,menubar=no,width=650,height=500,location=no,scrollbars=yes");
}


window.addEvent('domready', function(){
	
	new SmoothScroll({ duration: 500 });
	
});