CTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN"> Provides custom JSP tags for session expiration and user login checking for site navigation, conditional execution of parts of JSP based on a user's privileges.