下列选项中，属于Redis服务端默认端口号的是（ ）。