Javorek — family name