25728 /* device names */