$><<[*0..20308]*'  '