// In the case of a jQuery selector, we could cache the DOM element.
let navright = document.querySelector('#right');
let navleft = document.querySelector('#left');
let navup = document.querySelector('#up');
let navdown = document.querySelector('#down');