a simple page counter implemented in procedural PHP