var nothing=0;
var servidor = 0;

function get_html(){
return;
};

function put_html(){
return;
}