/*
 function $(nom){
		return document.getElementById(nom);
}
*/