printf("%d ",[fliplr(a=[0:12,20:256]),a])