function addLoadEvent(func) {
	var oldonload = window.onload;
	if (typeof window.onload != 'function'){
		window.onload = func;
	}else {
		window.onload = function() {
			oldonload();
			func();
		}
	}
}

function toggle_info_panel(state)
{
  var info_panel = document.getElementById("info_panel");
  if(info_panel)
  {
    if(state == 'on')
    {
      info_panel.style.display = 'none';
    }else
    {
      info_panel.style.display = 'block';
    }
  }
}