小亮早上8：30去图书馆，半小时后到达，他到图书馆的时间是。