function selectUrl(theform) {
    var j = theform.urls.length;
    for( i=0 ; i<j ; i++) {
        if(theform.urls.options[i].selected ) {
            var newurl = theform.urls.options[i].value ;
            if (newurl != "") {
                this.location.href = newurl ;
            }
            break;
        }
    }
}

function mme(user, domain, text){
    // the domain has caret ^ where dots should be, so replace them
    parts = domain.split('^')
    domain = parts.join('.')
    if (text=='')
        document.write('<a href="'+'mailto:'+user+'@'+domain+'">'+user+'@' +domain+'</a>')
    else
        document.write('<a href="'+'mailto:'+user+'@'+domain+'">'+text+'</a>')
}