What is f(x) = int 8x-1 dx if f(0)=12 ?