function domain_caption() {
      document.title='GotStudentsOnline';
      return 'GotStudentsOnline';
}