mikey4string is not found!