Syanjali ko ta buddhi paryo, aru lai phasaune bhanda aru kam kehi gardaina. If he is filing through Cintax he is filing as a Non resident that means 1040 NR or 1040 NREZ. And dont give other bad advice like filing through taxact.com or others. Those are only for resident. If u file as a resident later u will be in  a big trouble. I have seen this happened.
Thanks