“Does this pen work with HP Pavilion Model #15cs3672cl”