How long do you boil eggs for them to become hard boiled?

I was taught to bring them to boil then turn to simmer 5 minutes, Remove the pot from heat but let them sit in the hot water 10 more minutes then ice bath them to stop cooking.