function externalLinks(){
	for (var i=0; (a=document.getElementsByTagName('a')[i]);i++) {
          if (a.getAttribute("rel") == "external")
               a.target = "_blank";
	}
}

function init(){
	if(arguments.callee.done)return;
	arguments.callee.done=true;
	externalLinks();
	/*@cc_on @*/
	/*@if (@_win32)
		navHover();
	/*@end @*/
};


if(document.addEventListener){document.addEventListener("DOMContentLoaded", init, null);}
/*@cc_on @*/
/*@if (@_win32)
  document.write('<script defer="defer" src="/js/javascript_ieo.js"><'+'/script>');
/*@end @*/
window.onload=init;