//source: http://www.elated.com/articles/javascript-and-cookies/
function get_cookie ( cookie_name )
{
    var results = document.cookie.match ( '(^|;) ?' + cookie_name + '=([^;]*)(;|$)' );
    if ( results )
        return ( unescape ( results[2] ) );
    else
        return null;
}
function WLsetGlobalsFromCookie(srcLang, dstLang)
{
    if (srcLang != null && dstLang != null)
    {
        WLSrcLang = srcLang;
        WLDstLang = dstLang;
    }
}