// Functions that write the date when the document was last modified.
// lastModifiedPl - in Polish - format: wtorek, 22 lutego 2000, g. 10:15:15
// lastModifiedEn - in English - format: Tue Feb 22 10:15:15 2000

//-----------------------------------------------------------------------------
function initArray()
{
  this.length = initArray.arguments.length
  for (var i=0;i<this.length;i++)
    this[i+1] = initArray.arguments[i]
}

//-----------------------------------------------------------------------------
function lastModifiedPl()
{
  var DOWArray = new initArray("niedziela", "poniedziałek", "wtorek",
                               "środa", "czwartek", "piątek", "sobota");
  var MOYArray = new initArray("stycznia", "lutego", "marca", "kwietnia",
                               "maja", "czerwca", "lipca", "sierpnia",
                               "września", "października", "listopada",
                               "grudnia");
  var LastModDate = new Date(document.lastModified);
  var minutes = LastModDate.getMinutes();

//  document.write(DOWArray[(LastModDate.getDay()+1)],", ");
  document.write(LastModDate.getDate(), " ");
  document.write(MOYArray[(LastModDate.getMonth()+1)]," ");
  if (LastModDate.getYear() < 1900)
    rok = LastModDate.getYear() + 1900;
  else
    rok = LastModDate.getYear();
  document.write(rok, ",");

  document.write(" ","g. ");
  document.write((LastModDate.getHours()),":");
  if (minutes<10) document.write("0");
  document.write(minutes);
}

//-----------------------------------------------------------------------------

function lastModifiedEn()
{
  var MOYArray = new initArray("January", "February", "March", "April", "May",
				"June", "July", "August", "September",
				"October", "November", "December");
  var LastModDate = new Date(document.lastModified);

  document.write(MOYArray[(LastModDate.getMonth()+1)]," ");
  document.write(LastModDate.getDate(), ", ");
  if (LastModDate.getYear() < 1900)
    rok = LastModDate.getYear() + 1900;
  else
    rok = LastModDate.getYear();
  document.write(rok, ",");
}