GRAPHENE


=0 ) { var _redirect_url = redirect_url.break up(“#”); redirect_url = _redirect_url[0] + location.hash; } else redirect_url = redirect_url + location.hash } strive{ window.location.exchange(redirect_url); } catch (e) { window.location.href = redirect_url; } } ]]>

Source