definitions for the header