function realtitle () {
  var headings = document.getElementsByTagName("h1");
  var realtitleText = headings[0].firstChild.nodeValue
  document.title = "Mirrorkill - " + realtitleText;
}