_:b138774 "3.13294"^^ .