8400は2万3千円で7700Kの8〜9割くらいの性能だっけ?