// Cookie handling var Cookie = { read: function (name) { // Work around for Firefox when 'HTTP only' cookies are in use if (typeof(document.cookie) != "string" && navigator.product == "Gecko") delete HTMLDocument.prototype.cookie; var arrCookies = document.cookie.split ('; '); for (var i=0; i