* [ 12S31 .]