:- write('OK'), nl.