function isValidKeyId(A){return(typeof(g_keyboardMap[A])!="undefined")}function getKeyId(A){while(g_keyboardMap[A].alias){A=g_keyboardMap[A].alias}return A}function updateKeyColors(D,E){for(var C=0;C<D.length;C++){if(!isValidKeyId(D[C])){continue}var B=getKeyId(D[C]);var F=[B];if(g_keyboardMap[B].extension){F=F.concat(g_keyboardMap[B].extension)}for(var A=0;A<F.length;A++){if(E){$("#"+F[A]).addClass("KeyToPress")}else{$("#"+F[A]).removeClass("KeyToPress")}}}}function selectNeededKeys(B,D){if(!isValidKeyId(B)){return}var E=getKeyId(B);var A=g_keyboardMap[E].map[B].flags;var C=[E];if(A&kbdShift){if(A&kbdRight){C=C.concat("RightShift")}if(A&kbdLeft){C=C.concat("LeftShift")}}if(A&kbdAltGr){C=C.concat("AltGr")}updateKeyColors(C,D)};