[11oct42-]