keycode  87 = F11              F23              Console_23
	control	keycode  87 = F35
	alt	keycode  87 = Console_11
	control	alt	keycode  87 = Console_11
keycode  88 = F12              F24              Console_24
	control	keycode  88 = F36
	alt	keycode  88 = Console_12
	control	alt	keycode  88 = Console_12