js/animframe_polyfill