_:b402860496 "8"^^ . _:b402860496 "happy" .