public static int headerLength(String codec){
  return 9 + codec.length();
}

public static int headerLength ( String codec ) { return 9 + codec . length ( ) ; }
computes the length of a codec header .
