// JavaScript Document



//retourne un element du dom suivant son ID
	function get_id(id){
		if(document.getElementById(id))
			return document.getElementById(id);
		else
			return false;
	}
//retourne un element du dom suivant son ID


function $(elt){
	if(document.getElementById(elt))
		return document.getElementById(elt);
	else
		return false;
}