( - 5012 .)