/* $Log: tock.html,v $ Revision 1.11 1996/08/21 17:54:15 kimberly rename index.html to index.html; break long lines; add comments Revision 1.10 1996/08/09 18:08:56 kimberly add language=JavaScript in script tags Revision 1.9 1996/08/09 02:05:07 kimberly change version number Revision 1.8 1996/08/09 02:03:05 kimberly add commenting */ if (!loggedIn()) redirect("initial.html?err=1");