$filecontent = "<pre>".$filecontent."</pre>";