Category:1972–73 in Costa Rican football