// ENCABEZADO


function write_encabezado(){


}