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