HASH(0x7f5cccff2940)