<?php
fscanf(STDIN,"%d",$n);

$arr=array();
for($i=1;$i<=$n;++$i){
	fscanf(STDIN,"%d",$s);
	$arr[$i-1]=$s;
}

for($i=0;$i<$n;++$i){
	$split=array();
	$split=$arr;
	unset($split[$i]);
	echo max($split)."\r\n";
}

?>