var $w = function(string) { return string.split(' '); }; var asInts = function(arr) { var results=[]; for(var i=0, m=arr.length; i