The name “Koke” is just a nickname that originated from Koke's elder brother.