= 3) { echo "$file
"; } } } ?>