// Common functions used throughout this site.
// LANGUAGE="JavaScript1.3"