What is the HOMFLY polynomial of the figure eight knot?