_:b402848253 "2"^^ . _:b402848253 "fun" .