<!-- Begin
function home_path ( article ) {
  if ( article > 0 ) {
    return '../'
  }
  return ''
}

function cat_path ( category ) {
  return 'cat' + category
}

function subcat_path ( subcategory ) {
  return 'subcat' + subcategory
}

function homepage_link ( article ) {
  document.write('<a href="', home_path(article), 'index.html">');
  document.write('Back to Home page');
  document.write('</a>')
}

function category_link ( article, category, title ) {
  document.write('<a href="', home_path(article));
  if ( article == 2 ) {
    document.write(subcat_path(category))
  }
  else {
    document.write(cat_path(category))
  }
  document.write('.html">');
  if ( article != 0) {
    document.write('Back to ', title, ' Page')
  }
  else {
    document.write(title)
  }
  document.write('</a>');
  document.write(' | ')
}

function homepage_sublink ( category, title ) {
  category_link(-1, category, title);
  homepage_link(-1)
}

function category_links ( category ) {
  document.write('<p>');
  if ( category != '' ) {
    document.write('Other ');
  }
  document.write('Categories: ');
  if ( category != 'computers' ) {
    category_link(0, 'computers', 'Computers')
  }
  if ( category != 'math' ) {
    category_link(0, 'math', 'Math')
  }
  if ( category != 'info' ) {
    category_link(0, 'info', 'Miscellaneous')
  }
  if ( category != 'philosophy' ) {
    category_link(0, 'philosophy', 'Philosophy')
  }
  if ( category != 'rpg' ) {
    category_link(0, 'rpg', 'RPG')
  }
  if ( category != 'science' ) {
    category_link(0, 'science', 'Science')
  }
  homepage_link(0);
  document.write('</p>')
}

function article_sublinks ( subcategory, subtitle, category, title ) {
  document.write('<p>');
  category_link(2, subcategory, subtitle);
  category_link(1, category, title);
  homepage_link(2);
  document.write('</p>')
}

function article_links ( category, title ) {
  document.write('<p>');
  category_link(1, category, title);
  homepage_link(1);
  document.write('</p>')
}

function datestring () {
  lastmod = document.lastModified;
  lastmoddate = Date.parse(lastmod);
  if ( lastmoddate == 0 ) {
    lastmodstring = "Unknown";
  } else {
    lastmodstring = lastmod;
  }
  document.write('<p class="footer">');
  document.write('Last modified on ');
  document.write(lastmodstring);
  document.write('</p>')
}
// End -->
