// JavaScript Document time_ff

function redirect(url, msg)
{
   var TARG_ID = "redirect";
   var DEF_MSG = "";

   if( ! msg )
   {
      msg = DEF_MSG;
   }

   if( ! url )
   {
      throw new Error('Je bent de  "url" parameter vergeten');
   }


   var e = document.getElementById(TARG_ID);

   if( ! e )
   {
      throw new Error('"redirect" element is niet gevonden');
   }

   var cTicks = parseInt(e.innerHTML);

   var timer = setInterval(function()
   {
      if( cTicks )
      {
         e.innerHTML = --cTicks;
      }
      else
      {
         clearInterval(timer);
         document.body.innerHTML = msg;
         location = url;	  
      }

   }, 1000);
}