Yet asking him and waiting for a response is faster than searching online? And if you noticed, he hasn't replied yet, and you could have searched and found out long ago.
I just checked, it took me 15 key strokes, enter, and a scroll. Stop being so lazy.