public static void main ( String [ ] args ) {
  Scanner obj = new Scanner ( System . in ) ;
  String s = obj . next ( ) ;
  int c1 = 0 , c2 = 0 , c3 = 0 , c4 = 0 , c5 = 0 ;
  int idx = s . lastIndexOf ( '[' ) ;
  int idx2 = s . lastIndexOf ( ']' ) ;
  int k = 0 ;
  for ( int i = 0 ;
  i < s . length ( ) ;
  i ++ ) {
    if ( s . charAt ( i ) == '[' ) {
      c1 = 1 ;
      continue ;
    }
    if ( s . charAt ( i ) == ':' && c1 > c2 ) {
      c2 ++ ;
      k = i ;
      continue ;
    }
  }
  int g = 0 ;
  for ( int i = s . length ( ) - 1 ;
  i > k ;
  i -- ) {
    if ( s . charAt ( i ) == ']' ) {
      c4 ++ ;
      continue ;
    }
    if ( c4 > c5 && s . charAt ( i ) == ':' ) {
      c5 = 1 ;
      g = i ;
      break ;
    }
  }
  for ( int i = k + 1 ;
  i < g ;
  i ++ ) {
    if ( s . charAt ( i ) == '|' ) c3 ++ ;
  }
  if ( c1 == 0 || c2 == 0 || c4 == 0 || c5 == 0 ) {
    System . out . println ( "-1" ) ;
  }
  else System . out . println ( 4 + c3 ) ;
}

public static void main ( String [ ] args ) { Scanner obj = new Scanner ( System . in ) ; String s = obj . next ( ) ; int c1 = 0 , c2 = 0 , c3 = 0 , c4 = 0 , c5 = 0 ; int idx = s . lastIndexOf ( ' [ ' ) ; int idx2 = s . lastIndexOf ( ' ] ' ) ; int k = 0 ; for ( int i = 0 ; i < s . length ( ) ; i ++ ) { if ( s . charAt ( i ) == ' [ ' ) { c1 = 1 ; continue ; } if ( s . charAt ( i ) == ' : ' && c1 > c2 ) { c2 ++ ; k = i ; continue ; } } int g = 0 ; for ( int i = s . length ( ) - 1 ; i > k ; i -- ) { if ( s . charAt ( i ) == ' ] ' ) { c4 ++ ; continue ; } if ( c4 > c5 && s . charAt ( i ) == ' : ' ) { c5 = 1 ; g = i ; break ; } } for ( int i = k + 1 ; i < g ; i ++ ) { if ( s . charAt ( i ) == ' | ' ) c3 ++ ; } if ( c1 == 0 || c2 == 0 || c4 == 0 || c5 == 0 ) { System . out . println ( " - 1" ) ; } else System . out . println ( 4 + c3 ) ; }
(method_declaration (modifiers) type: (void_type) name: (identifier) parameters: (formal_parameters (formal_parameter type: (array_type element: (type_identifier) dimensions: (dimensions)) name: (identifier))) body: (block (local_variable_declaration type: (type_identifier) declarator: (variable_declarator name: (identifier) value: (object_creation_expression type: (type_identifier) arguments: (argument_list (field_access object: (identifier) field: (identifier)))))) (local_variable_declaration type: (type_identifier) declarator: (variable_declarator name: (identifier) value: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list)))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal)) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal)) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal)) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal)) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (character_literal))))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (character_literal))))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal))) (for_statement init: (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal))) condition: (binary_expression left: (identifier) right: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list))) update: (update_expression (identifier)) body: (block (if_statement condition: (parenthesized_expression (binary_expression left: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (identifier))) right: (character_literal))) consequence: (block (expression_statement (assignment_expression left: (identifier) right: (decimal_integer_literal))) (continue_statement))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (identifier))) right: (character_literal)) right: (binary_expression left: (identifier) right: (identifier)))) consequence: (block (expression_statement (update_expression (identifier))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (continue_statement))))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal))) (for_statement init: (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (binary_expression left: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list)) right: (decimal_integer_literal)))) condition: (binary_expression left: (identifier) right: (identifier)) update: (update_expression (identifier)) body: (block (if_statement condition: (parenthesized_expression (binary_expression left: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (identifier))) right: (character_literal))) consequence: (block (expression_statement (update_expression (identifier))) (continue_statement))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (binary_expression left: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (identifier))) right: (character_literal)))) consequence: (block (expression_statement (assignment_expression left: (identifier) right: (decimal_integer_literal))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (break_statement))))) (for_statement init: (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (binary_expression left: (identifier) right: (decimal_integer_literal)))) condition: (binary_expression left: (identifier) right: (identifier)) update: (update_expression (identifier)) body: (block (if_statement condition: (parenthesized_expression (binary_expression left: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (identifier))) right: (character_literal))) consequence: (expression_statement (update_expression (identifier)))))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (binary_expression left: (binary_expression left: (identifier) right: (decimal_integer_literal)) right: (binary_expression left: (identifier) right: (decimal_integer_literal))) right: (binary_expression left: (identifier) right: (decimal_integer_literal))) right: (binary_expression left: (identifier) right: (decimal_integer_literal)))) consequence: (block (expression_statement (method_invocation object: (field_access object: (identifier) field: (identifier)) name: (identifier) arguments: (argument_list (string_literal))))) alternative: (expression_statement (method_invocation object: (field_access object: (identifier) field: (identifier)) name: (identifier) arguments: (argument_list (binary_expression left: (decimal_integer_literal) right: (identifier))))))))