Mine

$x=0;
$xx=0;
$result3 = mysql_query("SELECT * FROM navigation") or die(mysql_error());

 while($row = mysql_fetch_array($result3)) {
  if ( $x = 1 || $x = 3 || $x = 9 || $x = 16 || $x = 18  || $x = 22  || $x = 25 || $x = 27  )  {
    $links[$x] = " ";
    $links2[$x] = "x";
    echo $x .  ") Links: " . $links[$x] . "<br>" . "Links2: " . $links2[$x] . "<br><br>";
    $x++;
   }
   else
  {
   $links[$xx] = $row['nav_name'];
   $links2[$xx]=$row['nav_link'];
   echo $x .  ") Linksss: " . $links[$x] . "<br>" . "Links2: " . $links2[$x] . "<br><br>";
   $x++;
   $xx++;
  }
}