function rov() {
    document.getElementById("wptb").src = "./immagini/wptbd2.png";
}
function roo() {
    document.getElementById("wptb").src = "./immagini/wptbd1.png";
}