_:b423001357 . _:b423001357 "0"^^ .