function gen_dibuix(){
    var dibu = Math.random()*2;


    dibuixos = new Array(3);


    dibuixos[0] = "port1.jpg";

    dibuixos[1] = "port2.jpg";

    dibuixos[2] = "port3.jpg";

    dibu = Math.round(dibu);

    document.write("<img src=\"Portal/_Imagenes/");

    document.write(dibuixos[dibu]);

    document.write("\">");

}