function get(id){ return document.getElementById(id);}

function porte(){
	num=Math.floor(Math.random()*37)+1;
	get('porte').src='image/portes/p'+num+'.jpg';
	setTimeout('porte()',3000);
}