<?php
 $array=array(1,2,3,4,5,6,7,8,9,10);
 $data=explode(" ",trim(fgets(STDIN)));
 
 $diff=array_diff($array,$data);
 
 foreach($diff as $k =>$v){
  echo $v;    
 }
 
?>