SimileAjax.WindowManager.pushLayer = function(f, ephemeral) { var layer = { onPop: f, index: SimileAjax.WindowManager._layers.length, ephemeral: (ephemeral) }; 
SimileAjax.WindowManager.pushLayer = function(f, ephemeral, elmt) { var layer = { onPop: f, index: SimileAjax.WindowManager._layers.length, ephemeral: (ephemeral), elmt: elmt }; 
SimileAjax.WindowManager.pushLayer = function(f, ephemeral) {    var layer = { onPop: f, index: SimileAjax.WindowManager._layers.length, ephemeral: (ephemeral) };    SimileAjax.WindowManager._layers.push(layer);        return layer;};
6194	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6194/4a37b7d808b7a8329eddb60d75d938911f1de1e5/window-manager.js/clean/src/webapp/api/scripts/window-manager.js