The globular cluster NGC 6712.