suggerimenti()); if ($badge > 0) { echo "" . $badge . ""; } } ?>