if ($x != 37) { $x = 37; }