function ajustar( ID ){
var the_height= document.getElementById( ID ).contentWindow.document.body.scrollHeight;

  //change the height of the iframe
  document.getElementById( ID ).height= the_height;
}
function setfilURLs() {
	for (var i = 0; i < document.links.length; i++) 	{
		 //Use the target property of the link object to append the target window to open the attachments
		 if ( ( "" + document.links[i] ).indexOf ( "$FILE" ) != -1 ) { document.links[i].target = "_new" ; } 
																	}
								}