Well, we have defined model of your device here. So just look at the list and choose manual for Gateway Servers 6400.
On the next page you will be able to read or download PDF file.