s.split(/\s+/);