banner($name){ $file=fopen($name,'r'); return fread($file,999); }
<? if($c==0.8953)echo (2*5-1).']'; ?>