総事業費85億7千万円じゃなかったっけ?