void STinit();
int STindex(char*);