askinteger(y);
askinteger(n);
kill(y)$kill(n)$