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;
        }
	setInterval("refreshPanel()",240000);