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;
}
function castAsNumber(key) {
var value = getProperty(key);
if(!(value instanceof Number)) {
value = value.toNumber();
setProperty(key, value);
}
return value;
}