'.str_replace(' ', ' ', str_pad(filesize($file), 10, ' ', STR_PAD_LEFT)).' '.$file.' (cannot work as a live demo)
'; break; default: echo '
'.str_replace(' ', ' ', str_pad(filesize($file), 10, ' ', STR_PAD_LEFT)).'
'.$file.'
'; break; } } } ?>