3242 Panholz