/ Format the times
                const currentTimeStr = formatDateTime(currentTime);
                const eventTimeStr = formatDateTime(eventTime);
                
                // Update the display
                document.getElementById('current-server-time').textContent = currentTimeStr;
                
                // If we have an event time display element, update it too
                const eventTimeElement = document.getElementById('current-event-time');
                if (eventTimeElem