function frisch (Datei, Zeit)
{
this.Datei = Datei;
this.Zeit = Zeit;
}


var gefrischt = new Array (), f = 0;




function veraltet (html)
{
for (var i = 0; i < gefrischt.length; i++)
    if (gefrischt [i].Datei == html)
        if (gefrischt [i].Zeit != null)
            {
            Zeit = document.lastModified;
            var Jahr = parseInt (Zeit.substr (Zeit.lastIndexOf ('/') + 1, 4), 10);
            var Monat = parseInt (Zeit.substr (0, 2), 10) - 1;
            var Tag = parseInt (Zeit.substr (Zeit.indexOf ('/') + 1, 2), 10);
            var Stunde = parseInt (Zeit.substr (Zeit.indexOf (' ') + 1, 2), 10);
            var Minute = parseInt (Zeit.substr (Zeit.indexOf (':') + 1, 2), 10);
            var Sekunde = parseInt (Zeit.substr (Zeit.lastIndexOf (':') + 1, 2), 10);

            var DateiZeit = new Date (Jahr, Monat, Tag, Stunde, Minute, Sekunde);

            var Rückstand = (gefrischt [i].Zeit - DateiZeit) / 1000 / 60 / 60;

//alert ('Rückstand = ' + Rückstand + ' Stunden');
//alert (html + ' 1:' + Zeit + ' 2:' + DateiZeit + ' 3:' + gefrischt [i].Zeit);

            if (Rückstand > 0)
                {
                gefrischt [i].Zeit = null;
                return true;
                }
            }
        else
            if (top.document.title.indexOf ('frisch geladen') == -1)
                top.document.title += ' &nbsp;&middot;&nbsp; frisch geladen';

return false;
}