arrfotor=[["img01.gif","1"], ["img02.gif","2"], ["img03.gif","3"], ["img04.gif","4"]];
var pos = parseInt(Math.random()*arrfotor.length);
ffoto = arrfotor[pos][0];
idfoto = arrfotor[pos][1];
document.write("<img border=\"0\" src=\"images/"+ffoto+"\" width=\"150\" height=\"188\"></a>");