dove lo valorizzi $_SESSION['cev'] ????

controlla sempre con isset