function file_date()
						{
							var dat = new Date();
							dat.setTime(Date.parse(document.lastModified));
							
							var mesic = 1;
							mesic = mesic+dat.getMonth();
							
							var vypis_datum = dat.getDate() + ". " + mesic + ". " + dat.getFullYear();
							return vypis_datum;
						}