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

  

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