De nummer , som komma att exequeras,