function Get_Cookie(name) {
    var start = document.cookie.indexOf(name+"=");
    var len = start+name.length+1;
    if ((!start) && (name != document.cookie.substring(0,name.length))) return null;
    if (start == -1) return null;
    var end = document.cookie.indexOf(";",len);
    if (end == -1) end = document.cookie.length;
    return unescape(document.cookie.substring(len,end));
}
                                                                                                
function jump(mylink, url) {
  if (Get_Cookie("AuthCookie_Newspaper") || Get_Cookie("ITRemember"))
    mylink.href = url;
}