--- phone.es.inc	2011-01-03 15:40:32.000000000 +0100
+++ phone.es.inc	2011-01-14 09:02:24.000000000 +0100
@@ -68,7 +68,7 @@ function format_es_phone_number($phonenu
   preg_match($regex, $phonenumber, $matches);
 
   // construct ten-digit phone number
-  $phonenumber = $matches[1] . ' ' . $matches[2] . ' ' . $matches[3];
+  // $phonenumber = $matches[1] . ' ' . $matches[2] . ' ' . $matches[3];
 
   return $phonenumber;
 }