function openUrl(url) {
  window.location = url;
}

function openHeading(headingId) {
  openUrl('/spip/?rubrique=' + headingId);
}