if ($number4 == 1.2) {