void drawCard(Graphics g, Card card, int x, int y) {
       if (card == null) {  
             // Draw a face-down card
          g.setColor(Color.blue);
          g.fillRect(x+10, y + 10,65,90);
          g.setColor(Color.white);
          g.drawRect(x+10, y + 10, 65,90);
       }
       else {
			// image generation
			String filename = "media/cards_gif/" + card.getCardToDisplay() + ".gif";
			ImageIcon imageIcon = new ImageIcon(filename);
			Image image = imageIcon.getImage();
			Integer height = (int) ( (double) image.getHeight(this)/2.8 );
			Integer width =  (int) ( (double) image.getWidth(this)/2.8 ) ;
			g.drawImage(image, x, y, width, height,this);
       }
    }  // end drawCard()