Does anyone know what power supply the Hanimex Pencil II uses?