Ricoh type 1250D (885258)