changed cs id from x1y2 to k3s7 before handin, because i suspect that x1y2 is a dummy id?