Oficiální kóta Pustý vrch.