This may not work. Number formatting is preserved in number(), isn't it? So "1234" won't match "12 34" for instance?