_:b4242150 . _:b4242150 "1600"^^ .