hvaða slóð er fyrir simnet serverinn fyrir DoD???