// $Id$

function getCookie(name)
{
    if(document.cookie.length > 0)
    {
        begin = document.cookie.indexOf(name + '=')
        if(begin != -1)
        {
            begin += name.length + 1
            end = document.cookie.indexOf(';', begin)
            if(end == -1)
                end = document.cookie.length

            var cookievalue = document.cookie.substring(begin, end)

            return unescape(cookievalue)
        }
    }
    return null;
}