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

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

function do_refresh() {
	if (typeof window.on_refresh == 'function') {
		window.on_refresh();
	}
}