gator ( 1895 n.r 13 );