/*global*/  int mash(char *);