// JavaScript Document
    
function getElement(aID) {
        return (document.getElementById) ? document.getElementById(aID) : document.all[aID];
}

function getIFrameDocument(aID) { 
        var rv = null; 
        var frame=getElement(aID);
        // if contentDocument exists, W3C compliant (e.g. Mozilla) 
        if (frame.contentDocument)
            rv = frame.contentDocument;
        else // bad Internet Explorer  ;)
            rv = document.frames[aID].document;
        return rv;
    }

    function adjustMyFrameHeight()
    {
        var frame = getElement("mnwd");
        var frameDoc = getIFrameDocument("mnwd");
		if(frameDoc.body.offsetHeight>448)
        	frame.height = frameDoc.body.offsetHeight+12;
		else
			frame.height = 448;
    }

/*
*Función que pueba si una variable existe o no
*
*/
 function isset(variable_name) {
    try {
         if (typeof(eval(variable_name)) != 'undefined')
         if (eval(variable_name) != null)
         return true;
     } catch(e) { }
    return false;
  }