Hostnames

• The name of a node is n abcd . where abcd is a number between 0001 and 1340.
• The data server are called d ab where ab runs from 01 to 31.
• The sun storage server are named s ab and ab renges from 01 to 13.
• The headnodes are h a with a being between 1 and 4.