[pygame] How the get a font size

[Luca]

Hi all.

I'm looking at the Font class API's, but I found no way to get the
size of a given font.
When I create a new font like

f1 = pygame.font.Font("....", 12)

how can I get the size value (12) after the creation?

f1 DOT ???

Thanks!

-- 
-- luca