                day: 'numeric', 
                hour: '2-digit', 
                minute: '2-digit', 
                second: '2-digit',
                hour12: true
            };
            return date.toLocaleString(undefined, options);
        }
        
        // Update server time initially and then every 5 seconds
        document.addEventListener('DOMContentLoaded', function() {
            // Initial update
            updateServerTime();
            
            // Set interval to update every 