277     if(index > last_remote_index){

   277     if(index > last_remote_index){

   278         updates[index] = value;

   278         updates[index] = value;

   279 

   279 

   280         if(persistent_indexes.has(index)){

   280         if(persistent_indexes.has(index)){

   281             let varname = persistent_indexes.get(index);

   281             let varname = persistent_indexes.get(index);

   283             document.cookie = varname+"="+value+"; max-age=3153600000";

   282             document.cookie = varname+"="+value+"; max-age=3153600000";

   284         }

   283         }

   285 

   284 

   286         requestHMIAnimation();

   285         requestHMIAnimation();

   287         return;

   286         return;