var evtJoost = window.onload;
window.onload = (typeof(window.onload) != 'function' ? joost : function() { evtJoost(); joost(); }); 
google_color_link = 'cc0000'; 


function joost() {

  for (var i = 0; i < document.getElementsByTagName('a').length; i++) {
    if (document.getElementsByTagName('a')[i].className == 'extern') {
      document.getElementsByTagName('a')[i].setAttribute('target', '_blank');
    }
  }

  /*@cc_on 
  
  @if (@_jscript_version >= 4)

  oldT = document.body.innerHTML;
  reg = /<ABBR([^>]*)>([^<]*)<\/ABBR>/g;
  newT = oldT.replace(reg, '<ABBR $1><SPAN class=\"abbr\" $1>$2</SPAN></ABBR>');
  document.body.innerHTML = newT;

  @end

  @*/

}