“Does this pen work with the HP Pavilon 3076?”