@The Real Halloween Those are genuine IRS numbers.  It's looking like the IRS may be using mail drop overseas to dispatch notices to foreign addresses.  But I'd still call the IRS to double check.

Please let us know what you find out.