imgsrc=new Array();
imgsrc[1]="/video/video1frame.gif";
imgsrc[2]="/video/video1.gif";
imgsrc[3]="/video/video2frame.gif";
imgsrc[4]="/video/video2.gif";
imgsrc[5]="/video/video3frame.gif";
imgsrc[6]="/video/video3.gif";
imgsrc[7]="/video/video4frame.gif";
imgsrc[8]="/video/video4.gif";
imgsrc[9]="/video/video5frame.gif";
imgsrc[10]="/video/video5.gif";

img =new Array();
for (i=0; i< imgsrc.length; i++) {
  img[i]=new Image();
  img[i].src=imgsrc[i];
}
function change(cislo, obrazek) {
  {
    document[obrazek].src=img[cislo].src;
  }
}