function external() {
if (document.getElementsByTagName) {
var i, a;
a = document.getElementsByTagName('a');
for ( var i in a) {
if (a[i].rel == 'external')
	a[i].target = '_blank';
}
}
}
window.onload = function() {
insert_footer('#0B486B', null);
external();
};