Is jersey 7 and 10 retired?