var imagenes = new Array();
imagenes[0] = new Image();
imagenes[0].src = "img/1s.jpg";
imagenes[1] = new Image();
imagenes[1].src = "img/2s.jpg";
imagenes[2] = new Image();
imagenes[2].src = "img/3s.jpg";
imagenes[3] = new Image();
imagenes[3].src = "img/4s.jpg";

function f () {
	d = document.getElementById('videodiw');
	d.style.display = '';
	d.src = "video.html";
}