...

    $pagina) { print "
  • $pag
    • "; } else { print "
  • $pag
    • "; } } //FIM DA PÁGINAÇÃO.// ?>