Javorník (Benešoveko barrutia)