a bony crest on the top of the skull in some pinnipeds, often resulting in an external bump on the forehead.
dor_view_skull_pinniped.jpg
