minor changes, added 13.ijs