Sophie
var a00737 = [ [ "_BACKWARD_STRSTREAM", "a00737.html#a55a0306a8cea413c4b35210b0606fc34", null ] ];