return($x==4);