/* Movie information. */
var infoText = {
    /* An array of times in seconds (sorted ascending) where the div under the
     * movie should be filled with some sort of text (links, etc). A time of 0
     * seconds is special and indicates information that should be displayed
     * before the player starts and after the movie has stpped. */
    timeList: [],

    /* An array of strings of HTML. These associate with the times in
     * infoTimesList so that when playback hits the time specified, the
     * associated HTML from this part loads up. */
    text: [

    ]
};