function timeStamp(timeStr)
{
if (timeStr == null) {timeStr=""}
var dateObj = new Date(document.lastModified);
var dateY = dateObj.getYear();
if (Date.parse(dateObj) != 0)
{
timeStr += dateObj.getDate() + '.' +
(dateObj.getMonth()+1) + '.' +
((dateY <= 100)? dateY+1900 : dateY);
}
return timeStr;
}