// JavaScript Document
function createXMLHttpRequest() {
  if (window.ActiveXObject) {
       xmlHttp = new ActiveXObject("Microsoft.XMLHTTP");
	   // alert('Internet explorer');
  } 
  else if (window.XMLHttpRequest) {
       xmlHttp = new XMLHttpRequest();
	   // alert('Mozilla');
  }
}

function komma_naar_punt(variabele){ 
	variabele.value = variabele.value.replace('\,','.'); 
} 

function punt_naar_komma(variabele){ 
	variabele.value = variabele.value.replace('.','\,'); 
}