小光同学买一个笔记本用去9.5元，买一支铅笔用去2.5元，他一共用了多少钱？