text: function reset_animation(b){var a=document.getElementById(b);a.style.animation="none";a.offsetHeight;a.style.animation=null}function reset_animation2(c){var b=document.getElementById(c);var a=b.cloneNode(true);b.parentNode.replaceChild(a,b)}function reset_animation3(b,a){$("#"+b).removeClass(a);setTimeout(function(){$("#"+b).addClass(a)},1)};