東芝のＡＡで始まる番号には収録されていましたよ。