#!/usr/bin/csh
#This script runs the root servers and should be run first
