Retirement tax questions

If it was deducted from your pay pretax it is not an IRA but probably to a 401K plan.  Is it on your W2 in box 12?  Does it go to a personal IRA Account you set up outside of work like at a bank?