19700 ] { 4!