var xsj_1813237 = 9.3;