"; echo decoct("10") . "
"; echo decoct("1587") . "
"; echo decoct("70");