_:b142080 "7.20944"^^ .