_:b423427513 . _:b423427513 "0"^^ .