TS4257 of H6C6