حي بن يقظان ([غير محدد]،)