function F_rs(xx){
return(String(xx).replace(/ /g,""));
}