#include <stdio.h>
#include <math.h>
#include <X11/Intrinsic.h>
#include <X11/StringDefs.h>
#include <X11/Shell.h>
#include <X11/Xaw/Box.h>
#include <X11/Xaw/Label.h>
#include <X11/Xaw/Command.h>
#include <X11/Xaw/Paned.h>
#include <Tachometer.h>
#include <krb.h>

#ifndef TICKET_GRANTING_TICKET
#define         TICKET_GRANTING_TICKET  "krbtgt"
#endif

#define DEFAULT_UPDATE_TIME  60           /* Time in seconds */