function num(arg){
		return (/\d+/).exec(arg);
	}