function nullFlashLoopFunction() { __flash_savedUnloadHandler = null; }
window.onbeforeunload = nullFlashLoopFunction;

function get_variable(name) {
    eval('var ret = '+name);
    return ret;
}