// Constants for page ID
var PAGE_HOME = 0;
var PAGE_IDKEY = 1;
var PAGE_GLOSSARY = 2;
var PAGE_LINKS = 3;
var PAGE_DATABASE = 4;