I'm in the process of installing debian linux via the netboot. It is now asking me for my proxy in standard form which i need because I have a proxy at my student residence. Right now all I have is a port and another number in the form xxx.xx.xx.x what is user? pass and host?