// Javascript Animation Player
//
// Mark Hadfield (m.hadfield@niwa.cri.nz) April 2000
//
// This JavaScript script animates a series of image files
// in an HTML document.
//
// I modelled it on a similar script
// used in the CDC map room (http://www.cdc.noaa.gov/~map/maproom/).
// The original is marked (c)BASTaRT, Praha, Czech Republic,
// 1996 (current contact Martin Holeeko )
// and was modified by D. Watson and A. Earnhart (CIRA/CSU)
// July 1997 and Greg Thompson (NCAR/RAP) December 1997.
//
// This version is heavily modified and shares very little code with
// the original. Design considerations include:
// * Script is self-contained and is invoked via the SRC property
// of a SCRIPT element in the document header.
// * The animator code is packaged in a JavaScript object,
// allowing more than one animator object per HTML document.
// * Animator user interface now written by the script (method
// Write).
// * UI is constructed with HTML elements (INPUT & SELECT)
// rather than images.
// * The document invoking the script needs only a few SCRIPT
// elements in the body to modify the script's global variables,
// generate the user interface and initiate playback.
// * HTML code generated by the script is more-or-less compliant
// with HTML 4.01 and XHTML 1.0.
// * I tried to simplify the playback control code using logic
// I developed for an IDL animator class.
// * The script has been tested on Netscape 4.7 (also occasionally
// with 4.08) and Internet Explorer 5.0.
// Global variable used to assign each Animator object a unique ID.
var animator_counter = 1;
function Animator()
{
// Assign each animator object a unique ID number
this.id = animator_counter++;
// Specify default properties. These can be overridden
// by