. "0"@en-us . "compactness%1:07:02::"^^ . . "compactness"@en-us . .