$(document).ready(function(){
$("body").keyup(function (arg1) { if (arg1.keyCode == 27) {shutterReloaded.hideShutter()}});
});
function set_style_cookie(value) {
  $.cookie('style', value, { expires: 900, path: '/' });
  window.location.reload();
}