>>800
>>731の式はどこに出てくるのでしょう?