Return the value associated with a key for a header line identified by ID_key:ID_val
See Implementation
Return the value associated with a key for a header line identified by ID_key:ID_val