function readKeyInt(myApp,key,thisDefault) {
var value = myApp.getProperty(key);
if(value==null || !(value instanceof Number)) {
if(value!=null) {
value=value.toNumber();
} else {
value=thisDefault;
}
}
return value;
}