sizeof($file)){
$col = sizeof($file);
}
echo "![](".DOKU_TPL."images/counter.png)
".$col."";
?>
".$col."";
?>