gator ” , heter det.