code: def gethash(compiled):
      
      lines = compiled.splitlines()
      if len(lines) < 3 or not lines[2].startswith(hash_prefix):
          return None
      else:
          return lines[2][len(hash_prefix):]
docs: Retrieve a hash from a header.