_:b401143259 "0"^^ . _:b401143259 "happy" .