class Player {

	static void discard(int card)	{					
	//put a card back into the deck, to be used to cards not needed for drawing
	
		int cardnumber;						
	//holds the card
		cardnumber = card.number;
		deck.setElementAt(card, cardnumber);
	}//end discard

}//end class