( li 6 7)