Font ID html5

Hi everybody, i'm looking for the font of the number in the html5 logo.
Does anyone know?

Thank you.

Comments

Who would even bother to look for a font to use when designing this logo?
That’s a custom drawn figure for sure.

Totally agree with Jan. More info here. You could also grab the logo as SVG here.
Some substitutes for this 5 if you still need a font, very loosely similar: Regra, Zosma, Armada, Cohort, Mashine, Laserjerks