Is this generated somehow, or did you type it up by hand?