(str* "ha" 5)