Counting closed geodesics in globally hyperbolic maximal compact AdS 3-manifolds