{"*", {{7, 12}}}
.