_:b417172139 . _:b417172139 "0"^^ .