private static String getNumberImageFile(int num)
	{
		
		if((2 <= num && num <= 6) || (8 <= num && num <= 12))
		{
			return "images/numbers/small_prob/" + num + ".png";
		}
		else
		{
			assert false;
			return null;
		}
	}