HASH(0x7fedec049130)