// JavaScript Document
<!-- Het script verbergen voor oude browsers
function hidestatus(){
window.status='Gereed';
return true;
}
function verberg(){
if (document.layers)
document.captureEvents(Event.MOUSEOVER | Event.MOUSEOUT);
document.onmouseover=hidestatus;
document.onmouseout=hidestatus;
}
// Einde verbergen -->