0x3fff2477