parece que su $ver .. sería el $_GET['doc'] (del primer ejemplo que puse)
Código PHP:
<?
$ver=$_GET['doc'];
// el código ese
header ("Location: $ver");
?>
Y ahí crea un archivo "log.txt" con una estructura de datos tipo:
nombre_archivo1.tal||conteo
nombre_archivo2.tal||conteo
nombre_archivo3.tal||conteo
Un saludo,