https://gnulinux.ro/blog-page-6882-autentificare-ssh-cu-public-key/media/website/plugin/scrolltopcontrol/scrolltopcontrol.js