_:b415742592 . _:b415742592 "0"^^ .