function ct(obj) {
obj.target = '_blank';
}

function hide_loading() {
  document.getElementById('pageloader').style.display = 'none';
}

function externalLinks() {
 if (!document.getElementsByTagName) return;
 var anchors = document.getElementsByTagName('a');
 for (var i=0; i<anchors.length; i++) {
   var anchor = anchors[i];
   if (anchor.getAttribute('href') &&
       anchor.getAttribute('class') == 'extern')
     anchor.target = '_blank';
 }
}