Rename example9 to example9.html