// The normal.js script file should have been
// retrieved by the html page prior to the
// inclusion of this script.

prep_normal_page();