Rename example7 to example7.html