OCE 9400 technical manual