badhost: www.idt.ntnu.no:80/