, k * "as