Array.rowlengths()