/*Menu deroulant*/  
function jumpMenu(id) {
	var target =document.getElementById(id).options[document.getElementById(id).selectedIndex].value
	document.location.href=target;
}
function formatFloat(n) {
	n = n.replace(",",".");
	return n;
}