var PRIdLEAST8: String { get }