_:b415742923 . _:b415742923 "0"^^ .