data format/'("{",**(i4.4,","),i4.4,"}")'/