setenv OTHEROPTSERVER //puddle.mit.edu
setenv INFOSERVER //globec.whoi.edu
setenv OBJDIR /globec