5600 K 2 ) [ 1728]