_:b399204718 "fun" . _:b399204718 "2"^^ .