replaced double by int