import console;
var ddd = "2018-08-21"
var bbb = string.split(ddd,"<->");
console.dump(bbb)
var date="";
for(k,v in bbb){
if(date != ""){
date = date ++ "-" ++ tonumber(v,10);
}else {
date = tonumber(v,10);
}
}
console.log(date)
console.pause(true);