<!--//hide  

//

// format datum dd-mmm-jj

// example: 12-Jan-99

//

function date_ddmmmyy(date)

{

  var b = date.getDay();
  var d = date.getDate();
  
  var m = date.getMonth() + 1;

  var y = date.getYear();


  // Afhandeling jaar waarde 

  // geef terug in IE en NS in 

  // in het jaar 2000.

  if(y >= 2000)

  {

    y -= 2000;

  }

  if(y >= 100)

  {

    y -= 100;

  }


  // could use splitString() here 

  // but the following method is 

  // more compatible

  var mmm = 

    ( 1==m)?'januari':( 2==m)?'februari':(3==m)?'maart':

    ( 4==m)?'april':( 5==m)?'mei':(6==m)?'juni':

    ( 7==m)?'juli':( 8==m)?'augustus':(9==m)?'september':

    (10==m)?'oktober':(11==m)?'november':'december';


  return "" +

    
    (d<10?"0"+d:d) + " " +

    mmm + " " +
    "20" +
    (y<10?"0"+y:y);

}


//

// neem de laatste gewijzigde datum

// van huidig document.

//

function date_lastmodified()

{

  var lmd = document.lastModified;

  var s   = "Unknown";

  var d1;


  // check of het een valide datum is

  // voor dat je doorgaat

  if(0 != (d1=Date.parse(lmd)))

  {

    s = "" + date_ddmmmyy(new Date(d1));

  }


  return s;

}


//

// Hoe wordt de datum getoond

// als DD-MMM-JJJJ

//

document.write( 

""   + 

  date_lastmodified() );


//end hide-->