// File JScript

function getCookie(name_to_get) {

    var cookie_pair
    var cookie_name
    var cookie_value

    var cookie_array = document.cookie.split("; ")

    for(counter=0;counter<cookie_array.length;counter++) {
        cookie_pair = cookie_array[counter].split("=")
        cookie_name = cookie_pair[0]
        cookie_value = cookie_pair[1] 
             if (cookie_name==name_to_get) {
                return unescape(cookie_value)
             }
    }
    return null
}