//Funciones Javascript para el editor web de html.
<!--
window.onload=function(){comienzo()};
	
	function comienzo()
	{
		frmEditor.document.execCommand("LiveResize", false, true);
		frmEditor.document.execCommand("2D-Position", false, true);
		frmEditor.document.execCommand("MultipleSelection", false, true);
		// Inicializamos los formatos del sistema
	}
	
	function comando_documento(sComando, bInterfaz_de_usuario, Anadido){ 
		if (!document.execCommand){ 
			alert("Función no disponible"); 
			return false; 
		} 
		
		frmEditor.document.execCommand(sComando, bInterfaz_de_usuario, Anadido);
		
		
		
	}