<?php
  $scorefile="colorshigh.txt";
  if(file_exists($scorefile)) $highscore=file($scorefile);
  $cnt=count($highscore);
  $num=0;
  for($i=0; $i<$cnt; $i++)
  {
    $highscore[$i]=chop($highscore[$i]);
    $oldnames[$num]=$highscore[$i];
    $i++; $highscore[$i]=chop($highscore[$i]);
    $oldscore[$num]=$highscore[$i]; $num++;
  }
  $cnt=count($oldscore);
  if($cnt>99) $cnt=99;
  for($i=0; $i<$cnt; $i++)
  {
    if(chop($oldscore[$i])>chop($score))
    {
      $newscore[$i]=$oldscore[$i];
      $newnames[$i]=$oldnames[$i];
    }
    else
    {
      $newscore[$i]=$score;
      $newnames[$i]=$user;
      $t=$i+1; $cnt++;
      for($j=$t; $j<$cnt; $j++)
      {
        $newscore[$j]=$oldscore[$i];
        $newnames[$j]=$oldnames[$i];
        $i++;
      }
      $i=$cnt+1;
    }
  }
  echo "[BEGIN]\n";
  for($i=0; $i<$cnt; $i++)
  {
    echo "$newnames[$i]\n";
    echo "$newscore[$i]\n";
  }
  echo "[END]\n";
  $fp=fopen($scorefile,"w");
  if($fp)
  {
    flock($fp,2);
    for($i=0; $i<$cnt; $i++)
    {
      fputs($fp,$newnames[$i]."\n");
      fputs($fp,$newscore[$i]."\n");
    }
    flock($fp,3);
    fclose($fp);
  }
?>