4 ms·

Tokyo's population grew, actually.