int(6875)