dimensions of a mill of hammer