<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">history.pushState(null, null, location.href);
window.onpopstate = function () {
    history.go(1);
};

if (self === top) {
    var antiClickjack = document.getElementById("antiClickjack");
    antiClickjack.parentNode.removeChild(antiClickjack);
} else {
    top.location = self.location;
}

sanitize = function(filename){

    try {
        filename = decodeURIComponent(filename);
        filename = filename.replace(/[&amp;\/\\#,+()$~%.'":*?&lt;&gt;{}]/g,'_');
    }catch(err) {
        filename = 'Il file Ã¨ stato caricato';
    }

    return filename;

}</pre></body></html>