function show_lastmod_time(t)
{ 
  lastmod = document.lastModified; // get string of last modified date
  lastmoddate = new Date(lastmod);
  if( lastmoddate == 0 ) 
    return; // unknown date (or January 1, 1970 GMT)

  if( t == "BG" )
  {
    month = new Array(12);
    day   = new Array(7);
  
    month[0]="01"
    month[1]="02"
    month[2]="03"
    month[3]="04"
    month[4]="05"
    month[5]="06"
    month[6]="07"
    month[7]="08"
    month[8]="09"
    month[9]="10"
    month[10]="11"
    month[11]="12"
  
    day[0]="<b>неделя</b>"
    day[1]="<b>понеделник</b>"
    day[2]="<b>вторник</b>"
    day[3]="<b>сряда</b>"
    day[4]="<b>четвъртък</b>"
    day[5]="<b>петък</b>"
    day[6]="<b>събота</b>"
  
    aDay   = lastmoddate.getDay();
    aMonth = lastmoddate.getMonth();
    aDate  = lastmoddate.getDate();
    aYear = lastmoddate.getFullYear();
    aHours = lastmoddate.getHours();
    aMinutes = lastmoddate.getMinutes();
    aSeconds = lastmoddate.getSeconds();
    
    strMinutes = ""+aMinutes;
    if(strMinutes.length==1)
      strMinutes = "0"+strMinutes;
    strSec = "" + aSeconds;
    if (strSec.length==1)
      strSec="0"+strSec;
    
    strDate = "Последна корекция: "+day[aDay] + ",  " + aDate+ "/" +month[aMonth] +"/"+aYear+",  "+aHours+":"+strMinutes+":"+strSec
  }
  else
  {
    document.write("                  <FONT FACE=\"Verdana,Arial\" SIZE=\"1\" color=\"00F09C\">  ");
    strDate = "                    Last Modified on " + lastmod + "."; 
  }
  document.write(strDate);
}