// fragment downloaded from jquery-cookie 1.0
// https://raw.githubusercontent.com/carhartl/jquery-cookie/v1.0/jquery.cookie.js
// see https://code.google.com/p/closure-compiler/issues/detail?id=513

/**
 * @example $.cookie('the_cookie', 'the_value');
 * @desc Set the value of a cookie.
 * @example $.cookie('the_cookie', 'the_value', { expires: 7, path: '/', domain: 'jquery.com', secure: true });
 * @desc Create a cookie with all available options.
 * @example $.cookie('the_cookie', 'the_value');
 * @desc Create a session cookie.
 * @example $.cookie('the_cookie', null);
 * @desc Delete a cookie by passing null as value. Keep in mind that you have to use the same path and domain
 *       used when the cookie was set.
 */
var a=1+3;