process.stdin.on('data', function(chunk) {
  var inputs = chunk.toString().trim().split('\n');
  for (var i = 0; i < inputs.length; i++) {
  	if (inputs[i]==='0 0'){
  		break;
  	}
  	var input = inputs[i].split(' ')
  	.map(Number).sort(function(a,b){
  		return a-b;
  	})
  	.join(' ');
  	console.log(input);
  }
  // ????????????????????????
});
process.stdin.resume();
process.stdin.setEncoding('utf8');