const url = new URL(window.location.href);
const v = '3.43.0';
if (v != url.searchParams.get('v')) {
    url.searchParams.set('v', v);
    window.location.href = url.href;
}