var cardReaderObject;var actualReaderObject;function doNothing(){}function selectSetCaseInsensitiveValue(item, value){var count = item.options.length;var i;var op;for(var i = 0; i < count; i++){op = item.options[i];op = item.options[i];if (op.text.toUpperCase() == value.toUpperCase()){item.selectedIndex = i;return;}}item.selectedIndex = -1;}function validMyKadLength(myKadNumber){return (myKadNumber.length == 12);}