Spider: what socket for serial debug?

Hi guys,

I’m going to implement a system where the spider is a HID device.
To do this, I think I have to switch the configuration switch nr. 1 off.
After this, what is the socket I have to use for the serial debug? I saw there are many uart sockets (4, 8, 9, 11). What is the right one?
I have an FTDI cable that I had successfully used with a rhino and with a domino.

Thank you for your help and have a nice week.

Ste.

I believe it is marked on the little card included with spider.

:-[ Did not notice the little cross near socket 11.

Thank you!