$result_4 = $short . ( index( $short, 4, 1 ) ) 
                     ? "" 
                     : "_001";