void script_702(int arg0,string arg1) { script_5337(arg0, arg1); return; }