function main(input){
    var args = input.split("\n");
    var d = [];
    for (var i=1; i<Number(args[0]) + 1; i++) {
        dd = Number(args[i]);
        if (d.indexOf(dd) < 0) d.push(dd);
    }
    console.log(d.length);
}
main(require('fs').readFileSync('/dev/stdin', {encoding:'utf8'}))
