//mouseover menuknoppen.
function imgout(id)
{
  if (document.images) { s = document.images[id].src.substring(0, (document.images[id].src.indexOf('_o.gif'))) + '.gif'; document.images[id].src=s; }
}
function imgover(id)
{
  if (document.images) { s = document.images[id].src.substring(0, (document.images[id].src.indexOf('.gif'))) + '_o.gif'; document.images[id].src=s; }
}

function validZip(stringIn) {
	var re = /^[0-9]{4}[a-zA-Z]{2}/;
	return re.test(stringIn);
}

function validPhone(stringIn) {
	var re = /^[0-9]{10}/;
	return re.test(stringIn);
}

function validMail(stringIn) {
	var re = /^\w+([\.-]?\w+)*@\w+([\.-]?\w+)*(\.\w{2,3})+$/;
	return re.test(stringIn);
}