function scrollPan(x) {
    panDiv = document.getElementById('pan');
    panDiv.scrollLeft = x;
}