function strip N
  put empty into R
  repeat with C = 1 to the length of N
    get char C of N
    if it is in "0123456789." then put it after R
  end repeat
  return R
end strip