function spaceToPlus(spacey){
i=spacey.indexOf(" ")
if (i>=0) {
    return spacey.substring(0,i)+"+"+spaceToPlus(spacey.substring(i+1,spacey.length))
}
else{
     return spacey
}
}  // end spaceToPlus function