OPS 9333 (IDSCS 18) - AllMySat catalog