var pageactuelle;

function select_menu(t) {
	t.src = '/menuselects/'+t.id+'_select.jpg';
}

function unselect_menu(t) {
	if (pageactuelle != t.id) t.src = '/images/'+t.id+'.jpg';
}

window.onload = function(){
	if (pageactuelle) {
		var t = document.getElementById(pageactuelle);
		select_menu(t);
	} else pageactuelle = "";
}