fn presents_at1(house_nr: u64) -> u64