Which option will add a code snippet to a WebGL file to stop an animation after it has played?
a) Halt Animation
b) Finish Animation
c) Stop at this Frame
d) Pause at End