int naar integer veranderd