split_date() #@ Splite date[time] string into year month day [hour minute second]
{            #@ USAGE: split_date STRING ...
             #@ Global variable set: split_date year month day [hour minute second]
  local IFS=$' \t\n'
  read year month day hour minute second junk <<< "${*//[!0-9]/ }"
  if [[ $year == [0-9][0-9][0-9][0-9][01][0-9][0123][0-9]* ]]
  then
    hour=${year:8:2}
    minute=${year:10:2}
    second=${year:12:2}
    day=${year:6:2}
    month=${year:4:2}
    year=${year:0:4}
  fi
  month=${month#0} day=${day#0} hour=${hour#0}
  minute=${minute#0} second=${second#0}
  split_date=( "$year" "$month" "$day" "$hour" "$minute" "$second" )
  if ((debug))
  then
     vshow year month day ${hour:+hour} ${minute:+minute} ${second:+second}
  fi
}