// JavaScript Document
function version(texte) {
	document.getElementById(texte).className=texte + "_h";	
}
function version2(texte) {
	document.getElementById(texte).className=texte;	
}