<?
  include("configfile.inc.php");
  if (file_exists(KEY_FILE)) {
    $file = array("1\n","2\n","3\n","4\n","5\n","6\n","7\n","8\n","9\n");
    echo filectime(KEY_FILE) ."\n";
    echo fileatime(KEY_FILE) ."\n";
    echo filemtime(KEY_FILE) ."\n";
    echo time() ."\n";
    echo time()-filectime(KEY_FILE) ."\n";
    $key = rand(1,9);
    if (in_array($key,$file)) {
      echo "in_array";
      echo $key."\n";
    }
  } /* if (file_exists(KEY_FILE)) */