( " 6242 .]