( li 7 5)