A judge program  for oj system