Does anyone know Mclaren F1 circuit breaker nurburgring laptime?

I have seen some scans of circuit breaker article.It contains cornering speeds of F1.Somebody has even estimated it to be 7:23.5 on wikipedia.But I want to know the exact laptime.