main(require("fs").readFileSync("/dev/stdin", "utf8").replace(/\r?\n$/, "").split(/\r?\n/));

function main(lines){
	lines.some(function(str){
		if(str == "0 0") return true;
		console.log(str.split(" ").map(Number).sort(function(a,b){return a-b;}).join(" "));
	});
}