Die Funktion "refresh_start()" befindet sich nicht in der Quelle der Seite, die ich zu sehen bekomme. Ich hätte ein einfaches JScript erwartet, aber entweder ist das irgendwie ausgelagert, oder etwas ganz anderes.
Das JavaScript wird ganz sicher im
HTML geladen, das kann auch ganz am Ende des
HTML Codes sein. Nach script oder js oder javascript suchen wird sicher einen Treffer liefern.