<!--hide script from old browsers

var datum = document.lastModified;

m_t_j = datum.split("/");
rest = m_t_j[2].split(" ");
var tag = m_t_j[1];
var monat = m_t_j[0];
var jahr = rest[0];
var zeit = rest[1];

//-->