TS4251 of H6C6