Lot of  9  coins of    Portugal