$alt=htmlspecialchars($alt);
return("<img src=\"$file\" alt=\"$alt\" title=\"$alt\" ".img_size($width,$height)
.($attrs=="" ? "" : " ".$attrs)." />");
$alt=htmlspecialchars($alt);
return("<img src=\"$file\" alt=\"$alt\" title=\"$alt\" ".img_size($width,$height)
.($attrs=="" ? "" : " ".$attrs)." />");