Is the only way to find out your server number by downloading the process hacker tool or is there another way to find out?