added cast to int for console output