_:b401207942 "00s" . _:b401207942 "0"^^ .