Added hol5.txt