// JavaScript Document
function RollMenuOn(i)
{
    var IMG = document.getElementById("immagine");
    IMG.src = "./repository/img/banner_" + i + ".jpg";
}
function RollMenuOff()
{
    var IMG = document.getElementById("immagine");
    IMG.src = "./repository/img/banner.png";
}