private void benjamin()
	{
		int benjaminRoll = (int) (Math.random () * 5);
		if (benjaminRoll == 1)
		{
		    game.addText ("A Wild Benjamin Has Appeared!");
		    if (p1.isAlive() && (!p1.getName().equals ("Nan")))
		    {
		    game.addText ("Benjamin slays " + p1.getName() + "!");
		    game.addText ("Benjamin wins!");
		    }
		    else if (p2.isAlive() && (!p2.getName().equals ("Nan")))
		    {
		    game.addText ("Benjamin slays " + p2.getName() + "!");
		    game.addText ("Benjamin wins!");
		    }
		    else if ((p1.isAlive() || p2.isAlive()) && (p1.getName().equals ("Nan") || p2.getName().equals ("Nan")))
		    {
		    game.addText ("Benjamin celebrates with Nan!");
		    }
		}
	}