function re_direct () { const user_name = document.getElementById('username').value.trim(); const session_id = document.getElementById('session_id').value.trim(); const encodedUser = encodeURIComponent(user_name); const encodedSession = encodeURIComponent(session_id); window.location.href = `/${encodedSession}/${encodedUser}`; }