$archivo"."$extension no existe"; } ?>