code: public static String extractCHARSET(String charset){
  	    final String arg = charset.replace("@charset","").replace(";","").trim();
  	    if (arg.length() > 2)
  	        return extractSTRING(arg);
  	    else
  	        return "";
  	}
docs: extract charset value from CHARSET token