var updateTime = "";

function fileUpdate() {
	var rok = new Date();

	datum = new Date (document.lastModified);
	mesic = new Array ('ledna', 'února', 'března', 'dubna', 'května', 'června', 'července', 'srpna', 'září', 'října', 'listopadu', 'prosince');
    if (Date.parse(document.lastModified) == 0)
        updateTime = "--";
    else
		updateTime = datum.getDate() + '. ' + mesic[datum.getMonth()] +" "+ rok.getFullYear();
}