yes, what JS library does that graph drawing and animation? Or a similar one?