( * 1 ?7)