static String gunzipSnippetToText(String dataID) {
  ret gunzipToText(dataID);
}