Filename Modification time Size or10.tfm 2003-01-26 14:18 CET 3088 B or12.tfm 2003-01-26 14:18 CET 3088 B or17.tfm 2003-01-26 14:18 CET 3092 B