HASH(0x7ff438041508)