Rename ava1.json to re123.json