// gestione Credits
var status_credits = "spento";
function credits () {
  with (document) {
    if (status_credits == "spento") {
      getElementById('box_credits').style.display = "block";
      status_credits = "attivo";
    } else {
      getElementById('box_credits').style.display = "none";
      status_credits = "spento";
    }
  }
}