So what IS the toptube length??