Sophie
var a10245 = [ [ "type", "a10249.html", "a10249" ], [ "entry", "a10245.html#a5cf613758a4cda72dde451bbed95db11", null ] ];