/* Time-stamp: <96/10/02 14:03:07 john> */

#include <stdio.h>
#include "attr.h"

int main(argc, argv)
     int argc;
     char * argv [];
{
  printf("<p>Sorry, no search yet!</p>\n");
  exit(0);
}

/* end of search.c */
