Wie lang war der Schädel des ausgestorbenen Sarcosuchus?

Von dem größten Exemplar, das man gefunden hat. Kann auch größer gewesen sein.