var xsj_1813231 = 9.3;