// JavaScript Document
var img_name = new Array("imgIzq_1.gif", "imgIzq_2.gif", "imgIzq_3.gif", "imgIzq_4.gif", "imgIzq_5.gif", "imgIzq_6.gif", "imgIzq_7.gif", "imgIzq_8.gif");
var l = img_name.length;
var rnd_no = Math.floor(l*Math.random());
document.getElementById("imgIzquierda").src = "../../imgs/"+img_name[rnd_no];
//alert(document.getElementById("imgIzquierda").src)