function artGoToPage(page,id) {
  var e = document.getElementById(id);
  if (e) {
    if (e.className=="arteditcontent") {
      e.value = articles[id][page];
    } else {
      e.innerHTML = articles[id][page];
    }
  } else {
    alert("Error for page " + page + " with element id " + id);
  }
}