Device name: AKS 4035 Lion