Jimmy Choo, size 7 1/2.