Retirement tax questions

the 401K contributions were roth, that means we can still contribute $7K each in our IRA. Thanks.