';
$replacements[13] = '
';
$replacements[12] = '
';
$replacements[11] = '
';
$replacements[10] = '
';
$replacements[9] = '
';
$replacements[8] = '
';
$replacements[7] = '
';
$replacements[6] = '
';
$replacements[5] = '
';
$replacements[4] = '
';
$replacements[3] = '
';
$replacements[2] = '
';
$replacements[1] = '
';
$replacements[0] = '';
return preg_replace($patterns, $replacements, $str);
}
?>