{ 0x00000080,  993, },
  { 0xa0d0d500,   80, },
  { 0xa0d0f000,  978, },