'.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; } } } ?>