// JavaScript Document
function setFlashSize (){
	//pone el navegador en tamaño completo
	var w = window.screen.width;
	var h = window.screen.height;
	top.window.resizeTo(w,h);
	top.window.moveTo (4,4);

	// toma el tamaño del navegador
	var myWidth = 0, myHeight = 0;
	if (typeof(window.innerWidth) == 'number'){
		//Non-IE
		myWidth = window.innerWidth;
		myHeight = window.innerHeight;
    }else if(document.documentElement && (document.documentElement.clientWidth || document.documentElement.clientHeight)){
		//IE 6+ in 'standards compliant mode'
		myWidth = document.documentElement.clientWidth;
		myHeight = document.documentElement.clientHeight;
	}else if(document.body && (document.body.clientWidth || document.body.clientHeight)){
		//IE 4 compatible
		myWidth = document.body.clientWidth;
		myHeight = document.body.clientHeight;
	}
  

	// setea el tamaño del flash
	fw = Math.max(myWidth, 800)
	fh = Math.max(myHeight, 840)
	setFlash(fw, fh-20)
	
	// le devuelve a flash el ancho y el alto del navegador
	ESC = (fw) + "|" + (fh);
	return ESC;
}

function setFlash(pw, ph){
	document.flashid.width = pw;
	document.flashid.height = ph;
}

function splash () {
	var w = window.screen.width;
	var h = window.screen.height;	
	top.window.resizeTo(w,h);
	top.window.moveTo (4,4);
}