I am writing a User Script and now need to implement the following in pure javascript:

1. Redirect/open with a new page/jump to a new URL
2. At the same time, the request uses a customized user agent

How can I achieve this?

Details:

For example, the script runs in https://wenku.baidu.com/view/b249cb95ff4733687e21af45b307e87100f6f861.html

And then I need to use the script to jump to https://wk.baidu.com/view/b249cb95ff4733687e21af45b307e87100f6f861.html

The reason why I have to change the user agent is that its server will detect the UA and return the according url (the same to the old).