gan mau nanya, codename untuk redmi 3 ini apa ya namanya ? kalo mi3/mi4 kan codename nya cancro, nah kalo redmi 3 ini apa ya ?