#include  <stdio.h>

#include  <stdlib.h>

int

main (int argc, char *argv[])

{

  int i,n,r;

  n = i = r = -1;

  r = sscanf ("1234:567", "%d%n", &i, &n);

  printf ("%d %d %d\n", r, n, i);

  if (r != 1 || i != 1234 || n != 4)

    abort ();

  return 0;

}