Vua Hùng mang họ gì?

Hùng Vương là những vị vua lãnh đạo nhà nước đầu tiên trong lịch sử Việt Nam – nhà nước Văn Lang nhưng ý ai biết vua Hùng mang họ gì?