@smartledger/bsv 3.4.3 → 3.4.4

package/examples/legacy/smart_contract_test_integration.js

@@ -1,269 +0,0 @@
-/**
- * SmartContract Module Integration Test
- * =====================================
- * 
- * Demonstrates the complete SmartContract module functionality:
- * - Covenant creation and management
- * - Enhanced preimage parsing with CompactSize varint support  
- * - SIGHASH flag analysis and zero hash detection
- * - Advanced covenant building with multi-field validation
- */
-
-'use strict'
-
-const bsv = require('../..')
-
-// Ensure we have the SmartContract module
-if (!bsv.SmartContract) {
-  console.error('❌ SmartContract module not available')
-  console.log('Make sure you are running in Node.js environment')
-  process.exit(1)
-}
-
-console.log('🚀 SmartContract Module Integration Test')
-console.log('=========================================')
-
-// Module information
-console.log('\n📋 Module Information:')
-console.log('Version:', bsv.SmartContract.version)
-console.log('Description:', bsv.SmartContract.description)
-console.log('Features:', Object.keys(bsv.SmartContract.features).filter(f => bsv.SmartContract.features[f]))
-
-// Test 1: Educational Resources
-console.log('\n📚 Educational Resources Test:')
-console.log('------------------------------')
-
-const zeroMystery = bsv.SmartContract.explainZeroHashes()
-console.log('Zero Hash Mystery Title:', zeroMystery.title)
-console.log('Problem:', zeroMystery.problem)
-console.log('Reality:', zeroMystery.reality)
-
-const sighashTypes = bsv.SmartContract.getAllSIGHASHTypes()
-console.log('\nAvailable SIGHASH Types:')
-sighashTypes.forEach(type => {
-  console.log(`  - ${type.name}: 0x${type.value.toString(16)}`)
-})
-
-// Test 2: SIGHASH Analysis
-console.log('\n🔍 SIGHASH Analysis Test:')
-console.log('--------------------------')
-
-const sighashAll = bsv.SmartContract.analyzeSIGHASH(0x41) // ALL | FORKID
-const analysisAll = sighashAll.analyze()
-console.log('SIGHASH_ALL analysis:')
-console.log('  Flag name:', analysisAll.flagName)
-console.log('  Base type:', analysisAll.baseType)
-console.log('  ANYONECANPAY:', analysisAll.anyoneCanPay)
-console.log('  FORKID:', analysisAll.forkId)
-
-const behaviorAll = sighashAll.getZeroHashBehavior()
-console.log('  Zero hash behavior:')
-console.log('    hashPrevouts zero:', behaviorAll.hashPrevouts)
-console.log('    hashSequence zero:', behaviorAll.hashSequence)
-console.log('    hashOutputs zero:', behaviorAll.hashOutputs)
-
-// Test ANYONECANPAY flag
-const sighashAnyoneCanPay = bsv.SmartContract.analyzeSIGHASH(0xc1) // ALL | ANYONECANPAY | FORKID
-const behaviorAnyoneCanPay = sighashAnyoneCanPay.getZeroHashBehavior()
-console.log('\nSIGHASH_ALL | ANYONECANPAY analysis:')
-console.log('  Flag name:', sighashAnyoneCanPay.analyze().flagName)
-console.log('  hashPrevouts will be zero:', behaviorAnyoneCanPay.hashPrevouts)
-console.log('  Explanation:', behaviorAnyoneCanPay.explanation[0])
-
-// Test 3: Preimage Parsing with CompactSize Varint
-console.log('\n🔧 Preimage Parsing Test:')
-console.log('--------------------------')
-
-// Use our existing proven generate_sample_preimage.js functions
-const samplePreimageGenerator = require('../../examples/preimage/generate_sample_preimage')
-
-// Test standard preimage (known to work)
-const standardPreimageHex = samplePreimageGenerator.getStandardPreimage()
-console.log('Generated standard preimage length:', standardPreimageHex.length / 2, 'bytes')
-
-// Test preimage creation with our existing code
-const preimage = new bsv.SmartContract.Preimage(standardPreimageHex, { deferExtraction: true })
-console.log('Preimage instance created successfully ✅')
-
-// Test field extraction with known good preimage
-try {
-  const fields = preimage.extract('DYNAMIC')
-  console.log('Extracted preimage fields:')
-  console.log('  Version:', fields.version ? fields.version.toString('hex') : 'null')
-  console.log('  Script code length:', preimage.fields.scriptCodeLength, 'bytes')
-  console.log('  Amount:', fields.amount ? fields.amount.toString('hex') : 'null')
-  console.log('  SIGHASH:', fields.sighash ? fields.sighash.toString('hex') : 'null')
-  
-  // Test with different preimage types
-  console.log('\nTesting different preimage types:')
-  const largePreimageHex = samplePreimageGenerator.getLargePreimage()
-  const largePreimage = new bsv.SmartContract.Preimage(largePreimageHex)
-  console.log('  Large preimage (3-byte varint):', largePreimage.fields.scriptCodeLength, 'bytes ✅')
-  
-} catch (error) {
-  console.log('⚠️  Preimage extraction failed:', error.message)
-  console.log('Using existing parse_preimage.js instead...')
-  
-  // Use our existing parse_preimage.js as fallback
-  const parsePreimage = require('../../examples/preimage/parse_preimage')
-  // Note: This would need to be adapted as it's currently CLI-only
-  console.log('Raw preimage (first 64 bytes):', standardPreimageHex.slice(0, 128))
-}
-
-// Test CompactSize varint decoding
-const varintTests = [
-  { bytes: Buffer.from([0x4c]), expected: 76, description: '1-byte (76)' },
-  { bytes: Buffer.from([0xfd, 0x00, 0x01]), expected: 256, description: '3-byte (256)' },
-  { bytes: Buffer.from([0xfd, 0xff, 0x00]), expected: 255, description: '3-byte (255)' }
-]
-
-console.log('\nCompactSize Varint Decoding:')
-varintTests.forEach(test => {
-  try {
-    const result = bsv.SmartContract.Preimage.decodeCompactSize(test.bytes, 0)
-    const status = result.value === test.expected ? '✅' : '❌'
-    console.log(`  ${status} ${test.description}: ${result.value} (${result.bytes} bytes)`)
-  } catch (error) {
-    console.log(`  ❌ ${test.description}: ERROR - ${error.message}`)
-  }
-})
-
-// Test preimage validation
-const validation = preimage.validate()
-console.log('\nPreimage Validation:')
-console.log('  Valid:', validation.valid)
-console.log('  Errors:', validation.errors.length)
-console.log('  Warnings:', validation.warnings.length)
-
-// Test 4: Covenant Creation and Management
-console.log('\n🏗️ Covenant Creation Test:')
-console.log('---------------------------')
-
-// Create test private key and address
-const privateKey = bsv.PrivateKey.fromRandom()
-const address = privateKey.toAddress()
-console.log('Test address:', address.toString())
-
-// Create covenant instance with temporary storage
-const covenant = bsv.SmartContract.createCovenant(privateKey, {
-  storageDir: '/tmp/bsv-covenant-test'
-})
-
-console.log('Covenant instance created successfully ✅')
-
-// Use our existing SmartUTXO generator for realistic testing
-const utxoManager = new bsv.SmartUTXO()
-const mockUtxos = utxoManager.createMockUTXOs(address, 1, 100000)
-const mockUtxo = mockUtxos[0]
-
-console.log('Mock P2PKH UTXO:')
-console.log('  TXID:', mockUtxo.txid.slice(0, 16) + '...')
-console.log('  Amount:', mockUtxo.satoshis, 'satoshis')
-
-// Test covenant creation (without actual blockchain broadcast)
-try {
-  const covenantResult = covenant.createFromP2PKH(mockUtxo)
-  console.log('\nCovenant Creation Result:')
-  console.log('  Creation TX ID:', covenantResult.transaction.id)
-  console.log('  Covenant UTXO satoshis:', covenantResult.covenantUtxo.satoshis)
-  console.log('  Preimage hash:', covenantResult.covenantUtxo.preimageHash.slice(0, 16) + '...')
-  
-  // Test spending transaction creation
-  const spendingTx = covenant.createSpendingTx(covenantResult.covenantUtxo)
-  console.log('  Spending TX ID:', spendingTx.id)
-  
-  // Test validation
-  const spendingValidation = covenant.validate(spendingTx, covenantResult.covenantUtxo)
-  console.log('  Spending validation:', spendingValidation.valid ? '✅ Valid' : '❌ Invalid')
-  
-  if (!spendingValidation.valid) {
-    console.log('  Validation error:', spendingValidation.error)
-  }
-
-} catch (error) {
-  console.log('❌ Covenant creation test failed:', error.message)
-}
-
-// Test 5: Advanced Builder
-console.log('\n🏗️ Advanced Builder Test:')
-console.log('--------------------------')
-
-const builder = bsv.SmartContract.buildCovenant(privateKey)
-
-// Configure builder with validation rules
-builder
-  .validateField('hashPrevouts', 'ORIGINAL_hashPrevouts', {
-    operator: 'EQUAL',
-    description: 'Ensure same input set'
-  })
-  .validateField('amount', Buffer.from(mockUtxo.satoshis.toString(16).padStart(16, '0'), 'hex'), {
-    operator: 'PRESENT', 
-    description: 'Amount must be present'
-  })
-
-console.log('Builder configured with validation rules ✅')
-
-try {
-  const builderResult = builder.createCovenant(mockUtxo)
-  console.log('Advanced covenant created:')
-  console.log('  Creation TX ID:', builderResult.creationTx.id)
-  console.log('  Validation rules:', builderResult.covenantUtxo.validationRules.length)
-  console.log('  Conditions:', builderResult.covenantUtxo.conditions.length)
-  
-} catch (error) {
-  console.log('❌ Advanced builder test failed:', error.message)
-}
-
-// Test 6: All SIGHASH Demonstrations (simplified)
-console.log('\n🎯 SIGHASH Demonstrations Test:')
-console.log('--------------------------------')
-
-try {
-  // Test SIGHASH analysis without full demonstrations for now
-  const testSighashes = [
-    { name: 'ALL', value: 0x41 },
-    { name: 'NONE', value: 0x42 },
-    { name: 'ALL|ANYONECANPAY', value: 0xc1 }
-  ]
-  
-  console.log('Testing SIGHASH analysis:')
-  testSighashes.forEach(test => {
-    const analysis = bsv.SmartContract.analyzeSIGHASH(test.value)
-    const info = analysis.analyze()
-    console.log(`  ${test.name}: ${info.flagName}`)
-  })
-  console.log('SIGHASH analysis working ✅')
-  
-} catch (error) {
-  console.log('❌ SIGHASH demonstrations failed:', error.message)
-}
-
-// Test 7: Educational Resources
-console.log('\n📖 Educational Resources Test:')
-console.log('-------------------------------')
-
-const resources = bsv.SmartContract.getEducationalResources()
-console.log('Educational resources available:')
-console.log('  Zero hash mystery explanation: ✅')
-console.log('  SIGHASH types:', resources.sighashTypes.length)
-console.log('  Example demonstrations:', resources.exampleDemonstrations.length)
-
-console.log('\n🎯 Integration Test Complete!')
-console.log('==============================')
-console.log('✅ All SmartContract module features tested successfully')
-console.log('📋 Module provides enterprise-grade covenant functionality')
-console.log('🔧 Enhanced BIP-143 preimage parsing with CompactSize varint support')
-console.log('⚠️  Zero hash detection and educational explanations')
-console.log('🏗️ Advanced covenant building and validation')
-
-// Summary
-console.log('\n📊 Test Summary:')
-console.log('- Educational resources: ✅ Working')
-console.log('- SIGHASH analysis: ✅ Working')  
-console.log('- Preimage parsing: ✅ Working')
-console.log('- CompactSize varint: ✅ Working')
-console.log('- Covenant creation: ✅ Working')
-console.log('- Advanced builder: ✅ Working')
-console.log('- SIGHASH demonstrations: ✅ Working')
-
-console.log('\n🚀 SmartContract module ready for production use!')

package/examples/legacy/test_builtin_verify.js

@@ -1,117 +0,0 @@
-#!/usr/bin/env node
-
-/**
- * Test Transaction VerifySignature Method
- * 
- * Tests the transaction's built-in verifySignature method
- */
-
-const bsv = require('./index.js');
-
-console.log('🔍 Test Transaction VerifySignature Method');
-console.log('==========================================\n');
-
-const privateKey = new bsv.PrivateKey('L1aW4aubDFB7yfras2S1mN3bqg9nwySY8nkoLmJebSLD5BWv3ENZ');
-const address = privateKey.toAddress().toString();
-
-// Create and sign transaction
-const mockUTXO = {
-  txid: '1234567890abcdef1234567890abcdef1234567890abcdef1234567890abcdef',
-  vout: 0,
-  address: address,
-  satoshis: 50000,
-  script: bsv.Script.buildPublicKeyHashOut(address).toHex()
-};
-
-const transaction = new bsv.Transaction()
-  .from(mockUTXO)
-  .to(address, 100)
-  .change(address)
-  .feePerKb(10)
-  .sign(privateKey);
-
-console.log('✅ Transaction created and signed');
-console.log(`Transaction ID: ${transaction.id}`);
-console.log(`Basic verify(): ${transaction.verify()}`);
-
-// Extract signature details
-const input = transaction.inputs[0];
-const signature = input.script.chunks[0]?.buf;
-const publicKey = input.script.chunks[1]?.buf;
-
-if (signature && publicKey) {
-  console.log('\n🧪 Transaction VerifySignature Method Test:');
-  console.log('==========================================');
-  
-  const sigWithoutHashtype = signature.slice(0, -1);
-  const pubkeyObj = new bsv.PublicKey(publicKey);
-  const subscript = input.output.script;
-  const satoshisBN = new bsv.crypto.BN(input.output.satoshis);
-  
-  try {
-    // Parse the signature first
-    const parsedSig = bsv.crypto.Signature.fromDER(sigWithoutHashtype);
-    parsedSig.nhashtype = signature[signature.length - 1]; // Set the hashtype
-    
-    console.log(`Parsed signature r: ${parsedSig.r.toString('hex')}`);
-    console.log(`Parsed signature s: ${parsedSig.s.toString('hex')}`);
-    console.log(`Signature hashtype: 0x${parsedSig.nhashtype.toString(16)}`);
-    
-    // Test transaction's built-in verifySignature method
-    const builtinVerify = transaction.verifySignature(parsedSig, pubkeyObj, 0, subscript, satoshisBN);
-    console.log(`transaction.verifySignature(): ${builtinVerify ? '✅ VALID' : '❌ INVALID'}`);
-    
-    // Test with default flags
-    const builtinVerifyWithFlags = transaction.verifySignature(parsedSig, pubkeyObj, 0, subscript, satoshisBN, 
-      bsv.Script.Interpreter.SCRIPT_ENABLE_SIGHASH_FORKID);
-    console.log(`transaction.verifySignature() with flags: ${builtinVerifyWithFlags ? '✅ VALID' : '❌ INVALID'}`);
-    
-    console.log('\n🔍 Manual Sighash.verify Test:');
-    console.log('==============================');
-    
-    // Test the Sighash.verify method directly
-    const sighashVerify = bsv.Transaction.Sighash.verify(transaction, parsedSig, pubkeyObj, 0, subscript, satoshisBN);
-    console.log(`Sighash.verify(): ${sighashVerify ? '✅ VALID' : '❌ INVALID'}`);
-    
-    const sighashVerifyWithFlags = bsv.Transaction.Sighash.verify(transaction, parsedSig, pubkeyObj, 0, subscript, satoshisBN,
-      bsv.Script.Interpreter.SCRIPT_ENABLE_SIGHASH_FORKID);
-    console.log(`Sighash.verify() with flags: ${sighashVerifyWithFlags ? '✅ VALID' : '❌ INVALID'}`);
-    
-    console.log('\n🔧 Compare Sighash Calculation:');
-    console.log('===============================');
-    
-    // Get the sighash that Sighash.verify would calculate
-    const officialSighash = bsv.Transaction.Sighash.sighash(
-      transaction, 
-      parsedSig.nhashtype, 
-      0, 
-      subscript, 
-      satoshisBN,
-      bsv.Script.Interpreter.SCRIPT_ENABLE_SIGHASH_FORKID
-    );
-    
-    console.log(`Official Sighash.sighash(): ${officialSighash.toString('hex')}`);
-    
-    // Compare with our transaction.sighash method
-    const ourSighash = transaction.sighash(0, parsedSig.nhashtype, subscript, satoshisBN);
-    console.log(`Our transaction.sighash(): ${ourSighash.toString('hex')}`);
-    console.log(`Sighashes match: ${officialSighash.equals(ourSighash) ? '✅ YES' : '❌ NO'}`);
-    
-    // Test verification with the official sighash
-    console.log('\n🎯 Verification with Official Sighash:');
-    console.log('=====================================');
-    
-    const ecdsaWithOfficial = bsv.crypto.ECDSA.verify(officialSighash, parsedSig, pubkeyObj);
-    console.log(`ECDSA.verify(officialSighash): ${ecdsaWithOfficial ? '✅ VALID' : '❌ INVALID'}`);
-    
-    const smartVerifyWithOfficial = bsv.SmartVerify.smartVerify(officialSighash, parsedSig, pubkeyObj);
-    console.log(`SmartVerify(officialSighash): ${smartVerifyWithOfficial ? '✅ VALID' : '❌ INVALID'}`);
-    
-  } catch (error) {
-    console.log('❌ Test failed:', error.message);
-    console.log('Stack:', error.stack);
-  }
-  
-} else {
-  console.log('❌ Could not extract signature or public key');
-}

package/examples/legacy/test_debug_integration.js

@@ -1,71 +0,0 @@
-#!/usr/bin/env node
-/**
- * Test Script for Debug Tools Integration
- * =======================================
- * Tests the newly integrated StackExaminer and ScriptInterpreter tools
- * in the SmartContract interface
- */
-
-const SmartContract = require('./lib/smart_contract/index.js');
-
-console.log("🧪 Testing SmartContract Debug Tools Integration");
-console.log("=================================================\n");
-
-// Test 1: Check if modules are loaded
-console.log("1. Module Loading Test:");
-console.log("   StackExaminer loaded:", !!SmartContract.StackExaminer);
-console.log("   ScriptInterpreter loaded:", !!SmartContract.ScriptInterpreter);
-console.log("   examineStack method:", typeof SmartContract.examineStack);
-console.log("   debugScriptExecution method:", typeof SmartContract.debugScriptExecution);
-console.log("   parseScript method:", typeof SmartContract.parseScript);
-
-// Test 2: Feature flags
-console.log("\n2. Feature Flags Test:");
-console.log("   STACK_EXAMINATION:", SmartContract.features.STACK_EXAMINATION);
-console.log("   SCRIPT_DEBUGGING:", SmartContract.features.SCRIPT_DEBUGGING);
-console.log("   STEP_BY_STEP_EXECUTION:", SmartContract.features.STEP_BY_STEP_EXECUTION);
-console.log("   INTERACTIVE_DEBUGGING:", SmartContract.features.INTERACTIVE_DEBUGGING);
-
-// Test 3: Simple script parsing
-console.log("\n3. Script Parsing Test:");
-try {
-  const parsedASM = SmartContract.parseScript("OP_DUP OP_HASH160");
-  console.log("   ✅ ASM parsing successful");
-  console.log("   Script length:", parsedASM.chunks.length);
-} catch (err) {
-  console.log("   ❌ ASM parsing failed:", err.message);
-}
-
-try {
-  const parsedHex = SmartContract.parseScript("76a914");
-  console.log("   ✅ HEX parsing successful");
-  console.log("   Script length:", parsedHex.chunks.length);
-} catch (err) {
-  console.log("   ❌ HEX parsing failed:", err.message);
-}
-
-// Test 4: Stack examination (non-interactive)
-console.log("\n4. Stack Examination Test:");
-try {
-  // Use simple valid scripts for testing
-  const result = SmartContract.examineStack("51", "51"); // OP_1, OP_1
-  console.log("   ✅ Stack examination completed, result:", result);
-} catch (err) {
-  console.log("   ⚠️ Stack examination had issues:", err.message);
-}
-
-console.log("\n=================================================");
-console.log("🎉 Debug Tools Integration Test Complete!");
-console.log("=================================================");
-
-// Count total methods in SmartContract
-const methodCount = Object.keys(SmartContract).filter(key => 
-  typeof SmartContract[key] === 'function'
-).length;
-
-console.log(`\n📊 SmartContract Interface Summary:`);
-console.log(`   Total Methods: ${methodCount}`);
-console.log(`   Total Modules: ${Object.keys(SmartContract).filter(key => 
-  typeof SmartContract[key] === 'object' && SmartContract[key].constructor.name !== 'Object'
-).length}`);
-console.log(`   Feature Flags: ${Object.keys(SmartContract.features).length}`);

package/examples/legacy/test_ecdsa_little.js

@@ -1,70 +0,0 @@
-#!/usr/bin/env node
-
-/**
- * Test ECDSA.verify with 'little' endianness
- * 
- * Tests if adding 'little' parameter fixes ECDSA.verify too
- */
-
-const bsv = require('./index.js');
-
-console.log('🔍 Test ECDSA.verify with little endianness');
-console.log('============================================\n');
-
-// Simple signature test
-const privateKey = new bsv.PrivateKey('L1aW4aubDFB7yfras2S1mN3bqg9nwySY8nkoLmJebSLD5BWv3ENZ');
-const publicKey = privateKey.publicKey;
-const message = Buffer.from('hello world', 'utf8');
-const hash = bsv.crypto.Hash.sha256(message);
-
-console.log('Creating signature...');
-const signature = bsv.crypto.ECDSA.sign(hash, privateKey);
-const derSig = signature.toDER();
-
-console.log('\n🧪 ECDSA.verify Test Matrix:');
-console.log('============================');
-
-// Test without 'little'
-const ecdsaWithoutLittle = bsv.crypto.ECDSA.verify(hash, signature, publicKey);
-console.log(`ECDSA.verify(hash, sig, pubkey): ${ecdsaWithoutLittle ? '✅ VALID' : '❌ INVALID'}`);
-
-// Test with 'little' 
-const ecdsaWithLittle = bsv.crypto.ECDSA.verify(hash, signature, publicKey, 'little');
-console.log(`ECDSA.verify(hash, sig, pubkey, 'little'): ${ecdsaWithLittle ? '✅ VALID' : '❌ INVALID'}`);
-
-// Test with DER buffer without 'little'
-const ecdsaDerWithoutLittle = bsv.crypto.ECDSA.verify(hash, derSig, publicKey);
-console.log(`ECDSA.verify(hash, derSig, pubkey): ${ecdsaDerWithoutLittle ? '✅ VALID' : '❌ INVALID'}`);
-
-// Test with DER buffer with 'little'
-const ecdsaDerWithLittle = bsv.crypto.ECDSA.verify(hash, derSig, publicKey, 'little');
-console.log(`ECDSA.verify(hash, derSig, pubkey, 'little'): ${ecdsaDerWithLittle ? '✅ VALID' : '❌ INVALID'}`);
-
-console.log('\n🔍 Compare with SmartVerify:');
-console.log('============================');
-
-// Test SmartVerify 
-const smartVerifyObj = bsv.SmartVerify.smartVerify(hash, signature, publicKey);
-console.log(`SmartVerify(hash, sig, pubkey): ${smartVerifyObj ? '✅ VALID' : '❌ INVALID'}`);
-
-const smartVerifyDer = bsv.SmartVerify.smartVerify(hash, derSig, publicKey);
-console.log(`SmartVerify(hash, derSig, pubkey): ${smartVerifyDer ? '✅ VALID' : '❌ INVALID'}`);
-
-console.log('\n🔧 Signature Details:');
-console.log('=====================');
-console.log(`Signature r: ${signature.r.toString('hex')}`);
-console.log(`Signature s: ${signature.s.toString('hex')}`);
-console.log(`Is canonical: ${signature.isCanonical()}`);
-
-// Check if this is a canonicalization issue
-const canonicalSig = signature.toCanonical();
-console.log(`Canonical r: ${canonicalSig.r.toString('hex')}`);
-console.log(`Canonical s: ${canonicalSig.s.toString('hex')}`);
-console.log(`Same as original: ${signature.r.eq(canonicalSig.r) && signature.s.eq(canonicalSig.s)}`);
-
-// Test with canonical signature
-const ecdsaCanonical = bsv.crypto.ECDSA.verify(hash, canonicalSig, publicKey, 'little');
-console.log(`ECDSA.verify(hash, canonicalSig, pubkey, 'little'): ${ecdsaCanonical ? '✅ VALID' : '❌ INVALID'}`);
-
-const smartVerifyCanonical = bsv.SmartVerify.smartVerify(hash, canonicalSig, publicKey);
-console.log(`SmartVerify(hash, canonicalSig, pubkey): ${smartVerifyCanonical ? '✅ VALID' : '❌ INVALID'}`);