function change_select(dep)
{
	location.href = "carte.php?selectdep=" + dep;
}

function currentdep(id)
{
	curdep.innerHTML = id;
}