added int sogeti to code