<!--
// change portal link

newUrl  = "http://www.volksdevil.com"
newText = "Volksdevil.com"
e = document.getElementById('submenu')
if (e && e.tagName == 'TABLE') {
e = e.rows[0].cells[0].getElementsByTagName('A')
for(n = 0; n < e.length && !e[n].href.match(/act=site/); n++);
if (e[n]){
e[n].href = newUrl
e[n].innerHTML = newText
}}
// -->