How many sandstone lamps were found? 1 7 23