// quick & dirty date translation from lastmod
// (as returned from document.lastModified) format to x
// lastmods i've seen look like this: 
// netscape:
// <!Dayoftheweek>,_<!Month>_<daynumber>,_<year>_<hs:ms:ss>
// '!' indicates: capital, '_': space
// explorer:
// MM/DD/YYYY hh:mm:ss


// BuyW@y$ e-commerce july 2000, gj bouma

// array with names of months, repl with any lang. to trans from eng to that
    arrMndn = new Array("januari","februari", "maart", "april", "mei", "juni", "juli", "augustus", "september", "oktober", "november", "december");


// transen2nl/1 strEngDate:string
function transen2nl (strEngDate) {
    if (navigator.appName=='Netscape') {
        return doitnetscape(strEngDate)
    }
    
    return doitexplorer(strEngDate);
}

// doitexplorer/1 strEngDate:string
function doitexplorer (strEngDate) {
    var m = eval(strEngDate.substr(0,2))-1;
    var strNlMnd = arrMndn[m];
    
    
    var strDat =  strEngDate.substr(3,2);
    var strJaar = strEngDate.substr(6,4);
    
    return strDat+' '+strNlMnd+' '+strJaar;
}

// doitnetscape/1 strEngDate:string
function doitnetscape (strEngDate) {
    var pos1 = strEngDate.indexOf(',')+2;
    var pos2 = strEngDate.indexOf(' ',pos1);
    
    var strNlMnd;
// at nomatch return input (=doc.lastMod?)
    switch (strEngDate.substr(pos1,(pos2-pos1))) {
         case "January": strNlMnd = arrMndn[0]; break;
         case "February": strNlMnd = arrMndn[1]; break;
         case "March": strNlMnd = arrMndn[2]; break;
         case "April": strNlMnd = arrMndn[3]; break;
         case "May": strNlMnd = arrMndn[4]; break;
         case "June": strNlMnd = arrMndn[5]; break;
         case "July": strNlMnd = arrMndn[6]; break;
         case "August": strNlMnd = arrMndn[7]; break;
         case "September": strNlMnd = arrMndn[8]; break;
         case "October": strNlMnd = arrMndn[9]; break;
         case "November": strNlMnd = arrMndn[10]; break;
         case "December": strNlMnd = arrMndn[11]; break;
         default: return strEngDate;
     }
     
     pos2 += 1;
     pos1 = strEngDate.indexOf(',',pos2);
     var strDat = strEngDate.substr(pos2,pos1-pos2);

     pos1 += 2;
     pos2 = strEngDate.indexOf(' ',pos1);
     var strJaar = strEngDate.substr(pos1, pos2-pos1);

     return strDat+' '+strNlMnd+' '+strJaar;

}