And the above repair cost a total of $12