JRは国鉄時代から、もう一度払わせる規則があるからな。
失くした切符がでてくれば、もう一度払った分は返金してくれるが。