// fonctions de base pour ttes les pages: 
//----------------------------------------
//recupere un element par son id
function get(id)
{
	return document.getElementById(id);
}
//affiche un element
function show(id, mode)
{
	if (!mode) mode="inline";
	get(id).style.display=mode;	
}
//masque un element
function hide(id)
{
	get(id).style.display="none";	
}

function push_into(id_dest,text)
{
	//alert(text);
	get(id_dest).innerHTML=text;	
	//alert(get(id_dest).innerHTML);
}