How to change device hostname?

[vaah]

I run android 9 with AEX (AOSP Extended). Everytime I look up dhcp client lease on the router, the mi a1 would be listed with long random character as its name id. How do i change this hostname i can identify my phone easier on the router. Thanks in advance.