Probabilmente $HTTP_GET_VARS non è più accessibile per qualche impostazione su php.ini. Di fatti è stato rimpiazzato da $_GET.

Quindi prova a mettere

$tab = $_GET['tab'];
$anno = (int)$_GET['anno'];

PS: Spero che quelle che hai postato non siano le credenziali vere di accesso! In tal caso cancellale