$numtok($1-,32) can be replaced with $0


billythekid