// JavaScript Document
function setText(txt)
{
  var x = document.getElementById('explaText')
  x.innerHTML = txt;
}

function reset()
{
  var x=document.getElementById('explaText')
  x.innerHTML = 'Welkom op het ArDiLa portal';
}