function inc(file) {
document.write('<script type="text/javascript" src="/w/index.php?title='+ file +'&action=raw&ctype=text/javascript&dontcountme=s"></script>');
}
inc("Utente:IPork/controllo versioni.js");
var nomeutente= "IL PROPRIO NOME UTENTE";
