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