screenLargeur=screen.width-20;
screenLongueur=screen.height;


function jedeconnecte(){
	window.location="index.php?deconnect=true";
}

function jechangehtml(e,url){
	document.getElementById("htmlview").src=url;
}

function changetaille(){
	document.getElementById("htmlview").height=window.parent.frames['htmlview'].document.body.scrollHeight;
}

function menucours(){
	//alert();
		$("#shistorique").toggle("slow")
}