see External carotid artery.