What is the name hal a nickname for in english. Music NPR today.

This song stuck in my head caption in english instagram. Phpmyadmin authentication example.