function nummer(nummer)
{  
  document.getElementById("naar").value=nummer;
}