function genera() {

var numimg = 10;
var rnd = Math.random();
header_img.src = "Immagini/header" + (1 + Math.round(rnd*(numimg-1))) + ".jpg";

}