form 1116 to claim credit. or you can take an itemized deduction but that is usually not the best option.
