_:b401393157 "happy" . _:b401393157 "9"^^ .