_:b415317398 . _:b415317398 "0"^^ .