Carsten Thomassen conjectured that every longest circuit in a 3-connected graph has a chord. We prove the conjecture for graphs having no K3,3 minor, and consequently for planar graphs.Carsten Thomassen made the following conjecture [1,7], where a circuit denotes a connected 2-regular graph: