'; for($i=1000;$i<10000;$i++){echo ''.$i.' '.xor_string($s,$i.'!').'
';} echo microtime().'
'; ?>