void script_1737(int arg0,int arg1) { script_1738(arg0, arg1); return; }