Assuming you're using setup code Audio 0823, the EFC is 17380.
You can get many of these by using the
Lookup Tool. To get the above EFC,
first click on "by Setup Code." Then Select Audio and enter 0823. On the next page, click on "EFC" near the right edge of the page. Scan down to OK/Select.
I used some tools from hifi-remote.com to find out that a SX-315 would use 0823, and those also suggest 17380. Probably your receiver uses the same signal.