I would of thought it would say windows 7 basic, Premium, pro or Ultimate & what bit it was be it 32 or 64bit. Manufacturer's of notebooks of late are getting lazy & often no longer provide a way to restore the OS should anything go wrong & you have to do this yourself.