read `DavidNeil.txt`:
Sipurc(15);


print(`This took`, time(), `seconds `):

quit: