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

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