aktiv = 0;

function init_reload ()
 {if (aktiv == 0)
   {aktiv = (setTimeout ('run_reload ()', 100));}}

function run_reload ()
 {location.reload ();
  aktiv = 0;}