function directionleft(){
		document.getElementById('marque').direction="left"
				
	}
function directionright(){
		document.getElementById('marque').direction="right"
		
	}