function loadcode(id) {
  $("#solve_" + id).load(location.protocol + "//" + location.host +
				 "/code/" + id + "/");

}
function loadcode(id) {
  $("#solve_" + id).load(location.protocol + "//" + location.host +
				 "/run/" + id + "/");

}