my $new_number = $decimal_number & 0x7fff;
$new_number *= 2;