function scrollMe(event)
{
 var st = event.currentTarget.scrollTop + (event.detail * 12);
 event.currentTarget.scrollTop = st < 0 ? 0 : st;
 event.preventDefault();
}
if (document.body.addEventListener) {
 var divs = document.getElementsByTagName('DIV');
 for (var d in divs) {
   if (divs[d].className && divs[d].className == 'Hoofdportaal') {
     try {
divs[d].addEventListener('DOMMouseScroll', scrollMe, false);
     } catch (ex) {}
   }
 }
}
