function vypis()
{
var datum = new Date(document.lastModified);
var den = datum.getDate();
var mesic = datum.getMonth() + 1;
var rok = datum.getFullYear();
document.write(den + '.'+ mesic + '.' + rok);
}