User talk:HKOCH

Welcome to Texas Instruments Wiki! We hope you will contribute much and well. You will probably want to read the help pages. Again, welcome and have fun! Wmat (talk) 11:37, 22 December 2015 (CST)