1function GetCookie(a) { var c = document.cookie, b = a + "="; a = c.length; for (var d = 0; d < a;) { var e = d + b.length; if (c.substring(d, e) === b) return b = c.indexOf(";", e), -1 === b && (b = a), c = unescape(c.substring(e, b)), c = c.replace(/\+/gi, " "); d = c.indexOf(" ", d) + 1; if (0 === d) break } return "" } function SetCookie(a, c, b) { if ("undefined" === typeof sExpiresMillisecs || "" === sExpiresMillisecs) b = 1095; var d = new Date; d.setTime(d.getTime() + 864E5 * b); a = a + "=" + encodeURI(c) + "; path=/; expires=" + d.toGMTString(); document.cookie = a } 2function DeleteCookie(a) { document.cookie = a + "=; expires=Thu, 01 Jan 1970 00:00:01 GMT;" } function replaceAll(a, c, b) { "undefined" !== typeof a && (a = a.split(c).join(b)); return a } function capitalizeFirst(a) { return a[0].toUpperCase() + a.slice(1).toLowerCase() } function trim(a) { return a.replace(/^\s+|\s+$/g, "") } 3function getBrowserWidth() { var a = 0; document.documentElement && document.documentElement.clientWidth ? a = document.documentElement.clientWidth : document.body && document.body.clientWidth ? a = document.body.clientWidth : document.body && document.body.offsetWidth ? a = document.body.offsetWidth : window.innerWidth && (a = window.innerWidth - 18); a = parseInt(a); if (!0 === isNaN(a) || 0 > a) a = 0; return a } 4function getBrowserHeight() { var a = 0; document.documentElement && document.documentElement.clientHeight ? a = document.documentElement.clientHeight : document.body && document.body.clientHeight ? a = document.body.clientHeight : document.body && document.body.offsetHeight ? a = document.body.offsetHeight : window.innerHeight && (a = window.innerHeight - 18); a = parseInt(a); if (!0 === isNaN(a) || 0 > a) a = 0; return a } 5function setElementHeight(a, c) { var b = document.getElementById(a); null !== b && (c = parseInt(c), !0 !== isNaN(c) && ("undefined" !== typeof b.clip && "undefined" !== typeof b.clip.height ? b.clip.height = c : "undefined" !== typeof b.style && "undefined" !== typeof b.style.height ? b.style.height = c + "px" : "undefined" !== typeof b.style && "undefined" !== typeof b.style.pixelHeight && (b.style.pixelHeight = c))) } 6function setElementWidth(a, c) { var b = document.getElementById(a); null !== b && (c = parseInt(c), !0 !== isNaN(c) && ("undefined" !== typeof b.clip && "undefined" !== typeof b.clip.width ? b.clip.width = c : "undefined" !== typeof b.style && "undefined" !== typeof b.style.width ? b.style.width = c + "px" : "undefined" !== typeof b.style && "undefined" !== typeof b.style.pixelWidth && (b.style.pixelWidth = c))) } 7function getEntireWidth(a) { a = parseInt($(a).css("borderLeftWidth").replace("px", "")) + parseInt($(a).css("marginLeft").replace("px", "")) + parseInt($(a).css("paddingLeft").replace("px", "")) + parseInt($(a).css("paddingRight").replace("px", "")) + parseInt($(a).css("marginRight").replace("px", "")) + parseInt($(a).css("borderRightWidth").replace("px", "")); return Math.ceil(a) } 8function getBorderMarginPaddingWidth(a) { a = parseInt($(a).css("borderLeftWidth").replace("px", "")) + parseInt($(a).css("marginLeft").replace("px", "")) + parseInt($(a).css("paddingLeft").replace("px", "")) + parseInt($(a).css("paddingRight").replace("px", "")) + parseInt($(a).css("marginRight").replace("px", "")) + parseInt($(a).css("borderRightWidth").replace("px", "")); return Math.ceil(a) } function fileExists(a) { var c = new XMLHttpRequest; c.open("HEAD", a, !1); c.send(); return 404 !== c.status } 9function getFilename(a, c) { var b = a, d = a.lastIndexOf("/"); 0 <= d && (b = a.substring(d + 1, a.length)); c || (d = b.lastIndexOf("."), 0 <= d && (b = b.substring(0, d))); return b } var getUrlParameter = function (a) { var c = decodeURIComponent(window.location.search.substring(1)).split("&"), b; for (b = 0; b < c.length; b++) { var d = c[b].split("="); if (d[0] === a) return void 0 === d[1] ? !0 : d[1] } return null }; 10function getDateAsString() { var a = new Date, c = "January February March April May June July August September October November December".split(" ")[a.getMonth()], b = a.getDate(); return c + " " + (10 > b ? "0" : "") + b + ", " + a.getFullYear() } function getTimeInSeconds() { var a = new Date, c = a.getUTCFullYear(), b = a.getUTCMonth(), d = a.getUTCDate(), e = a.getUTCHours(), f = a.getUTCMinutes(); a = a.getSeconds(); return Date.UTC(c, b, d, e, f, a) / 1E3 } 11function GetHoverImageName(a, c) { var b = a; if (0 < b.length) { var d = b.indexOf("_hover.png"); c && 0 > d ? (d = b.indexOf(".png"), b = b.substring(0, d), b += "_hover.png") : !c && 0 < d && (b = b.substring(0, d), b += ".png") } return b } $(document).ready(function () { $(".hoverButton").hover(function () { var a = $(this).attr("src"); a = GetHoverImageName(a, !0); $(this).attr("src", a) }, function () { var a = $(this).attr("src"); a = GetHoverImageName(a, !1); $(this).attr("src", a) }) }); 12function setFocusToFormField(a) { $("form").eq(a).find(":input:enabled:visible:first").focus() }; 13function RoundPlaces(num, decimalPlaces = 0) { 14 num = Math.round(num + "e" + decimalPlaces); 15 return Number(num + "e" + -decimalPlaces); 16}
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.