https://radioblogerdress.blogspot.com/2022/06/javascript-animation-rotate-div.html