HASH(0x7fede6649218)