_:b401398226 "happy" . _:b401398226 "16"^^ .