}function getCookie(key) { "use strict"; var cookieQuery = document.cookie.match('(?:^|;)\\s*' + key + '\\s*=\\s*([^;]+)');

return cookieQuery === null ? null : cookieQuery.pop(); }

// Writes the state of the k-th section into a cookie. function setStateCookie(k, expanded) { "use strict"; var now = new Date(); now.setFullYear(now.getFullYear() + 3);

var expirationDate = now.toUTCString();

var cookie = cookieName + k.toString() + "=" + (expanded ? "1" : "0") + "; Expires=" + expirationDate + "; path=/";

document.cookie = cookie; }