_:b412543220 . _:b412543220 "0"^^ .