function refreshPanel()
	  {
	  document.getElementById('leader_container').src = document.getElementById('leader_container').src;
	  document.getElementById('sky_container').src = document.getElementById('sky_container').src;
	  document.getElementById('rect_container').src = document.getElementById('rect_container').src;
          var ran = Math.floor(Math.random()*48)*1000;
          var freq = 240000;

          setTimeout("refreshPanel()",freq);
        }
refreshPanel();