function getCookieName( name ) { // used to find [host]SID_[???] (might have trailing #'s)
    if (document.cookie.length > 0) {
        var offset = document.cookie.indexOf(name);
        if (offset != -1) {
            var end = document.cookie.indexOf("=", offset);
            if (end != -1) {
                return document.cookie.substring(offset, end);
            } else {
                return "";
            }
        }
    } else {
        return "";
    }
}