Lizards. New gerrhonotine lizard from Costa Rica.