function same_digits_double_number($n) {
$numStr = strval($n);
$doubleNumStr = strval($n * 2);
$numArr = str_split($numStr);
$doubleNumArr = str_split($doubleNumStr);
sort($numArr);
sort($doubleNumArr);
return strcmp(implode($numArr), implode($doubleNumArr)) === 0;
}
$n = 125874;
echo same_digits_double_number($n) ? "true" : "false";
/*
run:
true
*/