What do these integers mean? They look like some constants.