(('10','20','30').split(',')).map(Number)

  

posted on 2023-02-17 16:50  鄢宁  阅读(16)  评论(0编辑  收藏  举报