OK. Finally I solved it as follows:
var dd = 0;
function animate(d) {
...
dd = d;
...
}
function toggleAnimation(dd) {
if(!jStop) {
jStop = true;
document.getElementById("togglepause").value = "Play";
} else {
jStop = false;
document.getElementById("togglepause").value = "Pause";
animate(dd);
}
}
Complete example is here:
http://gpssecurity.iszos.cz/gpstrack_2.php?id=3
Ask me please how to re-run the animation after it ends. I know that's
difficult, but it fails to resolve.