Help for this page
$short = "1234"; ... $result 3 = $short; $result_3 .= "_001 unless ( index( $result_3, '_', 4) );
$result_4 = $short . ( index( $short, 4, 1 ) ) ? "" : "_001";