// laat Mozilla scrollen met muiswiel bij overflow: auto;
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 == 'content')
		{	try
			{	divs[d].addEventListener('DOMMouseScroll', scrollMe, false);
			} catch (ex) {}
		}
	}
}