( li 7 7)