$phone = $_POST[‘טלפון’];

if (strlen($phone) == 10 && strpos($phone, “972”) !== 0) {
$formatted_phone = “972” . substr($phone, 1);
return $formatted_phone;
} elseif (strlen($phone) == 9) {
$formatted_phone = “972” . $phone;
return $formatted_phone;
} else {
return “”;
}