int glog(char *s);
void gloghead();