_:b415742543 . _:b415742543 "0"^^ .