function externalLinks() {
 if (!document.getElementsByTagName) return;
 var anchors = document.getElementsByTagName("a");
 for (var i=0; i<anchors.length; i++) {
   var anchor = anchors[i];
   if (anchor.getAttribute("href") &&
       anchor.getAttribute("rel") == "external")
     anchor.target = "_blank";
 }
}
window.onload = externalLinks;

function checkform (form) {
	if (form.tel.value.charAt(0) != "0" || !isNumeric(form.tel.value) || form.tel.value.length < 10) {
		alert( "FOUT > het opgegeven telefoonnummer voldoet niet aan het formaat '0201234567'\nLet op:\n- vermeld geen landcode (+31)\n- maak enkel gebruik van cijfers (geen spaties)\n- een telefoonnummer is 10 cijfers lang en begint met een 0" ); form.tel.focus(); return false;
	}
	
	return true ;
}

function isNumeric(sText) {
   var ValidChars = "0123456789";
   var IsNumber=true;
   var Char;

   for (i = 0; i < sText.length && IsNumber == true; i++) 
      { 
      Char = sText.charAt(i); 
      if (ValidChars.indexOf(Char) == -1) 
         {
         IsNumber = false;
         }
      }
   return IsNumber;
}