// Make sure parent page (pile) is refreshed in Opera when re-entered
function enableParentRefresh()
{
  deleteCookie("xelor"); // no cookie means refresh
}

// Page does not have to be refreshed again
function disableParentRefresh()
{
  setCookie("xelor", "refreshed"); // cookie means no refresh
}

// Reload page if necessary
function doParentRefresh()
{
  if (!getCookie("xelor") || getCookie("xelor") != "refreshed") // cookie ok?
  {
    disableParentRefresh(); // refresh only once
    location.replace(document.URL); // reload page
  }
}

disableParentRefresh(); // initially page is loaded as new, so no refresh