( * 7 7 4)