我在学习php语言编写计数器的时候，发现了一个小问题，实在是想不通，特请教各位高手！

计数器的主源代码如下“


<?php

$fp = fopen("count.txt", "r"); /*打开文件*/

$str1 = fgets($fp,9); /*定义计数器的最大容量为8位*/

$str1++;

fclose($fp);

$fp = fopen("count.txt", "w");

fputs($fp,$str1);

fclose($fp);

/* *******格式化输出数据为8位，不足补0******** */

$len1 = strlen($str1); /* 获取str1的长度 */

$str2 = "00000000"; /*定义str2的数值*/

$len2 = strlen($str); /*计算？？？的长度？？*/

$dif = $len2 - $len1;

$rest = substr($str2, 0, $dif);

$string = $rest.$str1;

echo ("您是第 $string 位访问者");

?>



在研究”格式化输出数据为8位，不足补0“的这段代码时，有一个困惑，在计算 $len2 = strlen($str); 的时候，$str是什么？整段代码里面并未用到$str这个变量呀？
但是程序运行正确，我试着把 $len2 = strlen($str); 改成 $len2 = strlen($str2); 也运行正确，就究竟是什么问题啊？ 变量str究竟起了一个什么作用啊？它的值又是多少呢？？

谢谢哪位给我一个解答！谢谢！！！