HASH(0x7fedd40369c0)