public void paginae(Message msg) {
		synchronized (paginae) {
			while (!msg.eom()) {
				int act = msg.uint8();
				if (act == '+') {
					String nm = msg.string();
					int ver = msg.uint16();
					paginae.add(Resource.load(nm, ver));
				} else if (act == '-') {
					String nm = msg.string();
					int ver = msg.uint16();
					paginae.remove(Resource.load(nm, ver));
				}
			}
		}
	}