window.animate = function(f){[['width','offsetWidth'],['height','offsetHeight']].map(function(i){f[i[0]]=function(e,w,d,c,p,o,t,s){d=d||d==0?~~(d/100)*100:1e3;t=w-(o=e[i[1]]);(s=e.style)[i[0]]=o+"px";function a(){s[i[0]]=(o+=20*t/d,o)+"px";parseInt(s[i[0]])!=w?setTimeout(a,20):c.call(e)}();return f}});return f}({});

// Only 299 bytes!