// **************************************************************

// str_short -- cut a string after n chars and append three points

//

//      string str_short( string string [, int length] )

function str_short ( $str, $len = 30 ) {

if ( strlen( $str ) > $len )

	$str = substr( $str, 0, $len )."...";

return $str;

}