window.addEvent('domready',img_rand);

function img_rand(){
	var nbr_img = 5;
	var random_num = 1;
	random_num = (Math.round((Math.random()*nbr_img-1)+1));
	if(random_num<1 || random_num>5){random_num=1};
	document.getElementById('img_rand').src = "fileadmin/design_industriel/img/bande_gauche_"+random_num+".jpg";
}