USBキーボードのテンキーですね。