function openExtFromFlash(s){
    window.open(s, 'HMI');
}