print "@cards[0 .. 12]";