// -----------------------------------------------
// Licence notice:                                
//                                                
//  Copyright 2007, "Rijkswaterstaat"             
//                                                
//   This file is part of Matroos.                
//                                                
//    Matroos is free software; you can redistri- 
//    bute it and/or modify it under the terms of 
//    the GNU General Public License as           
//    published by the Free Software Foundation;  
//    either version 3 of the License, or         
//    (at your option) any later version.         
//                                                
//    Matroos is distributed in the hope that it  
//    will be useful, but WITHOUT ANY WARRANTY;   
//    without even the implied warranty of        
//    MERCHANTABILITY or FITNESS FOR A PARTICULAR 
//    PURPOSE.  See the GNU General Public        
//    License for more details.                   
//                                                
//    You should have received a copy of the GNU  
//    General Public License along with this      
//    program.                                    
//    If not, see <http://www.gnu.org/licenses/>. 
// -----------------------------------------------
/*Dit script laat de datum van de laatste wijziging zien als "Pagina bijgewerkt op: dd maand jaar".
Werkt in IE en NS. Nederlandse versie.
---------------

Laatste wijziging script : 25 december 2002 door W. Bouwman

Laatste wijziging script : 07 januari 2003 door G. Groeneveld
tekst toegevoegd ", RIKZ is onderdeel van de Rijkswaterstaat"
---------------
*/

function makeArray() {
var args = makeArray.arguments;
for (var i = 0; i < args.length; i++) {
this[i] = args[i];
}
this.length = args.length;
}

function fixDate(date) {
var base = new Date(0);
var skew = base.getTime();
if (skew > 0)
date.setTime(date.getTime() - skew);
}

function getString(date) { 
var months = new makeArray("januari", "februari", "maart",
"april", "mei", "juni",
"juli", "augustus", "september",
"oktober", "november", "december");

return date.getDate() + " " +
months[date.getMonth()] + " " +
((date.getFullYear() < 100) ? "19" : "") + date.getFullYear();
}

var cur = new Date(document.lastModified);
fixDate(cur);
var str = getString(cur);
document.write("Pagina bijgewerkt op: " + str);