var replaceHtmlCode = function(str) {
return str.replace(/%(\d\d)/g, function(text, code) {
return String.fromCharCode(parseInt(code, 16));
- })
+ });
};
this.fragments = {};
if (!window.location.hash) {
thisFragment.fragments[tuple[0]] = JSON.parse(tuple[1]);
});
} catch(error) {
- alert(error)
;; console.log(error);
}
};