function same_digits_double_number(num: number) {
const doubleNum: number = num * 2;
const strNum: string[] = String(num).split("").sort();
const strDoubleNum: string[] = String(doubleNum).split("").sort();
return strNum.join("") === strDoubleNum.join("");
}
console.log(same_digits_double_number(125874));
console.log(same_digits_double_number(8491));
/*
run:
true
false
*/