<?php
/* This file keeps an index of the titles of current pages
   and gives them to the JavaScript environment when requested */
$u['Welcome'] = 'start.htm';
$u['Help'] = 'help.htm';
$u['Calculator'] = 'calc.htm';
$u['Notes'] = 'notes.php';
$u['About'] = 'about.htm';
?>