read `DRDS.txt`:

GLaBv():

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

quit: