How long is the DK1 HDMI cable?

Hello everyone!

I'm currently sellling my Oculus Rift DK1 on Ebay to upgrade, and came up with a question:
How long is the original HDMI cable that came with the DK1?

I have several similar looking cables here, so there is some minor confusion.

Thanks in advance!

Edit:

The front of my manual says:

6ft HDMI Cable
3ft HDMI Cable

Were there really two cables, If you only need one ?