Online User Reference Guide, NetClock 9400 Time Server.