function distinct(arr){
var rs = new Array();
for(var i=0;i<arr.length;i++){
var s = ","+rs.join(",")+",";
if(!s.match(","+arr[i]+",")){
rs.push(arr[i]);
}
}
return rs;
}
function distinct(arr){
var rs = new Array();
for(var i=0;i<arr.length;i++){
var s = ","+rs.join(",")+",";
if(!s.match(","+arr[i]+",")){
rs.push(arr[i]);
}
}
return rs;
}