HASH(0x7f5cac2042c8)