{"entities":{"Q762484":{"pageid":764333,"ns":120,"title":"Item:Q762484","lastrevid":42683097,"modified":"2025-07-08T11:01:59Z","type":"item","id":"Q762484","labels":{"en":{"language":"en","value":"Fragments of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3889524"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$1CFC604C-2A2F-4222-A353-A00B0500396B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c738cac4b93ca1db74627647a3c0aa51c540132","datavalue":{"value":{"text":"Fragments of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q762484$EB628F45-0580-4D6E-8FB0-ECFB577832A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd1f09d761bdae75d6cf67605071eb4a0c70db0b","datavalue":{"value":"0558.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762484$AABB76DC-3D1F-4182-A7EE-D53EE0D252AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e155cce54be49762a33990afb21c5a83beb6e464","datavalue":{"value":"10.1016/0168-0072(85)90030-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762484$B5C8EE87-1EA7-430C-8B7A-CB607CEB7463","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baf65bf84a9471e07b9412f58991eb0597943057","datavalue":{"value":{"entity-type":"item","numeric-id":762483,"id":"Q762483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$2A9E5CB7-F338-4C0C-9DEC-A020CDD76D61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$C6E6F42A-EDC2-4F38-9CEC-5B5DA1241DD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q762484$29B5374F-5FD3-48D8-931A-C17F02941C3D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"141009e8ae9f10eb2e61ecf85ce2029786f6fcb2","datavalue":{"value":"The weakest system considered in this paper is the primitive recursive arithmetic (PRA) of Hilbert-Bernays, and the strongest are subsystems of analysis close to those considered by H. Friedman and by Minc. For instance (F) is the system whose axioms are quantifier free induction axioms (QF-IA) [but possibly with second order parameters in defining equations and in IA], (\\(\\exists f) f(x)=t[a/x]\\) for every term t(a), \\(\\Sigma^ 0_ 1\\)-IA, \\(\\Sigma^ 0_ 1\\)-AC\\({}_ 0\\) \\((=axioms\\) of choice for numbers), and K\u00f6nig's lemma for binary trees. This (F) is know to be strong enough for ordinary mathematics - for example, the Heine-Borel theorem and G\u00f6dels completeness theorem can be proved in it. And yet, the author's main result shows that (F) is conservative over (PRA). Also, there is a big bulk of results comparing \\(\\Pi^ 0_{n+1}\\)- X and \\(\\Sigma^ 0_{m+1}\\)-Y were X and Y are IA, the induction rule (IR), AC, comprehension axioms, etc. For instance, \\(\\Sigma^ 0_{n+1}\\)- IA is strictly stronger than \\(\\Sigma^ 0_{n+1}\\)-IR, and is equivalent to \\(\\Pi^ 0_{n+1}\\)-IA. Although a substantial portion of these results are known (of course, the author makes refinements and improvements), what is to be noticed is that they are all proved by finitary proof theoretic means, like cut elimination and Herbrand expansions. (And so, no model theory, no indicators, and no ''Dialectica interpretation''). Also, operator theories \\(OT_ n\\) (i.e. theories with the \\(\\epsilon\\)- symbol) are skillfully used by controlling subordination depths to n. If the situation is known when n is 0 or 1 in the original theory, the same can be done for \\(OT_ n\\); and then it translates back to \\(n+1\\) in the original setting.","type":"string"},"datatype":"string"},"type":"statement","id":"Q762484$07916FCF-C274-4C75-9336-C12DD9371405","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762484$FE16E701-F874-4C0C-9FAA-0CC83D495D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762484$4BCCE169-4A99-489D-B1CF-A9F62469305A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762484$C007100B-514B-49AB-A9B8-228DFBAD7F0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"176aa479d12551826417ca0b8e42748954ecac2d","datavalue":{"value":"3889524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762484$231F1E99-EB03-4E86-996F-2B843C1D8829","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q762484$C9700CF0-76B7-4379-B06C-E6CFBD02E6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6260e37bb99d04c39e38b26800c197e9bc7636d","datavalue":{"value":"operator theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q762484$51F6346C-D8C4-4607-A85F-C0AAD09A6C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08e2f0575049e4517769661e4290f718ec0b02af","datavalue":{"value":"finitary proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q762484$6A718099-86E8-4164-A799-2EC2797A786E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c78721141b4f13208948b9a581723f4d49bc35","datavalue":{"value":"subsystems of analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q762484$4667A9ED-983F-4253-AD61-69173DA29141","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$3F7D899A-0BC1-4C1E-9801-56A41AEACC6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"762e912bc9942f1f1d90334263bc700cdc74a39c","datavalue":{"value":"https://doi.org/10.1016/0168-0072(85)90030-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q762484$4828D122-C129-4A7E-BF74-5B2D754BD216","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b6e81221b6793810223730f63881e75ea7be863","datavalue":{"value":"W2038447110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762484$AB903E33-B28D-4698-B7FB-A6161DF9B4F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af6d79cb7627680af279f9390de4528d7005030","datavalue":{"value":{"entity-type":"item","numeric-id":5344166,"id":"Q5344166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$4C18C0D3-02DC-4B35-A98F-BBFA91D0CD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"976fb4f3d01716802cb0f5b2570ef5544a8a2dff","datavalue":{"value":{"entity-type":"item","numeric-id":3039340,"id":"Q3039340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$82750FBA-4305-46A8-919B-63C69C5329B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a867c6508cff28341ab32c6df4351fa77ca0b89c","datavalue":{"value":{"entity-type":"item","numeric-id":3039341,"id":"Q3039341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$EB9B2FE6-4B83-48D3-8977-2887A8F20B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$BB881F2F-F116-40BE-AF4A-6731C9ABB625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0842236f0f9c6282c7fbe6f5512cae3e61d9ccae","datavalue":{"value":{"entity-type":"item","numeric-id":4111536,"id":"Q4111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$A559667B-8489-4B0C-9449-859A440E9E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f09e58d4f789e937d7fdef8aac599ff07e9cac","datavalue":{"value":{"entity-type":"item","numeric-id":5629622,"id":"Q5629622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$ED731551-DB6C-4273-A35D-F6825F1AF6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb8cca8c75cf027dbdcd4ce3d55db4b7cc03846","datavalue":{"value":{"entity-type":"item","numeric-id":5585366,"id":"Q5585366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$EA07C106-B85D-407E-8956-5ED0DD893B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd563c8e7e782ee36eec340808cf341dbeeb62bd","datavalue":{"value":{"entity-type":"item","numeric-id":5569099,"id":"Q5569099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$6D3D49B2-758A-41A0-966F-9B398BC7689B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc20c39e0b33b874af0982ebf6bc1d64db55ff3","datavalue":{"value":{"entity-type":"item","numeric-id":4079564,"id":"Q4079564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$18791025-6AAC-40A7-A97C-F5BB168AE411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0e45c6d24f23b7bf00bdec0730aa590fa74f9a","datavalue":{"value":{"entity-type":"item","numeric-id":3661556,"id":"Q3661556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$9973EA4A-868D-4973-8647-BF38884D3ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76f9a44a41d968d437c996e0e1e0be731222ce0","datavalue":{"value":{"entity-type":"item","numeric-id":2557247,"id":"Q2557247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$97B2DB8C-8BE9-4429-A3E5-D283CC49466F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d71800724159c7acd1bc0bf3551c799a99785d","datavalue":{"value":{"entity-type":"item","numeric-id":4149746,"id":"Q4149746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$7B5CA355-B162-4626-9817-1632901B997B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$6AE2FDE4-8098-4F36-A54F-918ACE22F1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054f3f8b0785864466d242030e47b1076d46b298","datavalue":{"value":{"entity-type":"item","numeric-id":3931391,"id":"Q3931391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$DC68DD04-ED02-4375-98E9-B0DA0F416DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d356ebfaf5725a6262f13de5d5313f007ee40e","datavalue":{"value":{"entity-type":"item","numeric-id":5600870,"id":"Q5600870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$171BFAA8-960C-49D0-B392-2580F830C342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$4C035E2F-8E24-44B8-A703-74368E91A449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db69c3d1bea51cae9245fff8b1ff8bcd37190160","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$AF640F52-07B1-4E09-95F0-EA5D4B0EF4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae4fe7fd404ca1eb2442fe926d64b481ae906b2","datavalue":{"value":{"entity-type":"item","numeric-id":4063418,"id":"Q4063418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$543ABCFF-3511-4DAD-94F0-0EDAFA324E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762484$26C0E5BE-AC9E-4A81-B788-2A30D6046A20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7661eec4135d4db476187d80408f2e3ee2b19821","datavalue":{"value":{"entity-type":"item","numeric-id":4527922,"id":"Q4527922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fafd3cbbb410245aff3c6596725e4a732f787c26","datavalue":{"value":{"amount":"+0.92611104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762484$3EFE28CD-A36C-4950-93E7-C3F8C035C7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c20290f990d0a1a4cd4bc490220324341d70cb","datavalue":{"value":{"entity-type":"item","numeric-id":1123191,"id":"Q1123191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc82a623dd15f28dc81065e6928e226f25fb5e5","datavalue":{"value":{"amount":"+0.894758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762484$97013122-4738-45BA-A3BA-BDE0F1738BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ce76bcb606d6287bc7a3e94cc170377dd39408","datavalue":{"value":{"entity-type":"item","numeric-id":4680381,"id":"Q4680381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e6c37c66fa224beac74d4c78b78a8cbf4491dc9","datavalue":{"value":{"amount":"+0.8897854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762484$95CDECD3-4D19-4D78-B3FC-181F5A268288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6a6cfc01fbc82e5cc11363ba36797c1c3b1fe21","datavalue":{"value":{"entity-type":"item","numeric-id":2765865,"id":"Q2765865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8b8ec1b9c29e823bff075b1001143730a92ff8","datavalue":{"value":{"amount":"+0.8843833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762484$7D187823-15E9-449C-BFEC-28525AAC3635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36b2f0413bd9cc422deede5eea01b7c6d58254b","datavalue":{"value":{"entity-type":"item","numeric-id":1112811,"id":"Q1112811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa521736f0986183c0a5208b5294fac3e379a2ed","datavalue":{"value":{"amount":"+0.8820761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762484$C35003EC-A364-42DE-85E0-C3FD00954B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44d48cc6eae7fce24a08db97a3ad4eb41ce2f1e1","datavalue":{"value":{"entity-type":"item","numeric-id":3140636,"id":"Q3140636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93264aad57082771f91a533cbf1b7f1bccbffd66","datavalue":{"value":{"amount":"+0.87331885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762484$131185BB-1445-40EF-9FD1-10F05ED311D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d409ba0ec9c4e5f37514f8637c1dab1088ab7cb1","datavalue":{"value":{"entity-type":"item","numeric-id":2921008,"id":"Q2921008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b8a997dde5b872a919db64f7024839df993257","datavalue":{"value":{"amount":"+0.85545504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762484$B2812318-078D-4EBB-BCEC-93216EDA8F82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:762484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:762484"}}}}}