HR 8250 _{[#285321709931]}