丢了个硬币是正面，必上7.5元。