Update int.html