How Big Is Tokyo City