学校图书馆有图书4000本,又买来a本,现在一共有()本.