unset($_SESSION['num_productos']);unset($_SESSION['total_cesta']);$_SESSION['num_productos'] = 0;$_SESSION['total_cesta'] = 0.0;