$phone = #טלפון ראשי#;

if (strlen($phone) != 13 || substr($phone, 0, 4) != ‘+972’) {
$updatedPhone = ‘+972123456789’;
return $updatedPhone;
}