function over(img_name) { document.images[img_name].src = 'images/' + img_name + '-on.gif'; }

function out(img_name) {document.images[img_name].src = 'images/' + img_name + '-off.gif'; }

function ici(img_name) {document.images[img_name].src = 'images/' + img_name + '-ici.gif'; }
function chargerimg() {

 for(i=1; i<8; i++)
    {
	var tmpImg = new Image(0, 0);
	img_name = 'menu' + i ;
	tmpImg.src = 'images/' + img_name + '-on.gif';
	}
}