// opnieuw tekenen bij resizen van de pagina in netscape
// requires platform.js

    function handleResize() {
    	location.reload();
    	return false;
    }
    if(platform.browser == "ns" && platform.version >= 5) {
		window.captureEvents(Event.RESIZE);
		window.onresize = handleResize;
    }
    if(platform.browser == "ie") {
		window.onresize = handleResize;
    }