12259.下列不属于操作系统的是（ ）。