#include <stdio.h>
#include <string.h>

int main ()
{
  char *str = "12345;SEPARATOR=67890;SEPARATOR=1111";
  char key[] = ";SEPARATOR=";
  char * pch;
  printf ("Original string '%s'\nParsed to : ",str);
  while (pch = strstr(str, key))
  {
  	char tok[200];
  	strncpy(tok, str, pch - str);
  	tok[pch - str] = '\0';
    printf ("%s " , tok);
    str = pch + strlen(key);
  }
  printf ("%s\n", str);  // last tail
  return 0;
}