shell manual 33