HASH(0x7fedfe65cc68)