<?php

/**
 * @file
 */

if ($x == 1) {
  $x = 5;
}
elseif ($x == 2) {
  $x = 3;
}
elseif ($x == 7) {
  $x = 3;
}