523         if (mashup === currentMedia) {

   523         if (mashup === currentMedia) {

   524             changeCurrentAnnotation();

   524             changeCurrentAnnotation();

   525         }

   525         }

   526     });

   526     });

   527     

   527     

   528     /* Mashup Events to UI */

   533     /* Mashup Events to UI */

   529    

   534    

   530     mashup.on("play", function() {

   535     mashup.on("play", function() {

   531         if (mashup === currentMedia) {

   536         if (mashup === currentMedia) {

   532             onCurrentMediaPlay();

   537             onCurrentMediaPlay();