( nnnn \ ( 7777)