HASH(0x7f5cf27d3bc0)