HASH(0x7fede2670840)