var nick = "Guest"
if(document.getElementById('userlinks') && document.getElementById('userlinks').innerHTML.match(/showuser=/i) != null){
nick = document.getElementById('userlinks').getElementsByTagName('A')[0].innerHTML
}

pd = document.getElementsByTagName('div')
for (n = 0; n < pd.length; n++) {
if (pd[n].className == '' && pd[n].style.textAlign == 'left' && pd[n].style.paddingBottom == '4px') {
pd[n].innerHTML = pd[n].innerHTML.replace(/Welcome back; your last visit was on/, "Welcome back "+nick+"! Your last visit on "+boardname+" was at:")
}}