assuming you don't have numerical highlight entries, you might also want to throw in an extra little check:

Code:
if ($1- !isnum) && ($highlight($1-)) {



"The only excuse for making a useless script is that one admires it intensely" - Oscar Wilde