// JavaScript Document
function over(i)
	{
	document.getElementById("menu"+i).style.display="";
	}
function out(i)
	{
	document.getElementById("menu"+i).style.display="none";
	}
	
function checkthis(a) {
document.getElementById("domaincheck").innerHTML="..moment..";
var regexp1 = /^[a-zA-Z0-9\-]+$/;
if (!a.domain.value.match(regexp1)) {	
a.domain.focus;
document.getElementById("domaincheck").innerHTML="geen geldige domeinnaam<br>Alleen letters, cijfers en een -";
return false;
		}
}