HASH(0x7fede65ac300)