After a few seconds, the next line should read "12345".

FAIL: Script did not run.