[compare_int.gif]