^ ^ | ^ [ 6277 ;]