* use PR in Logo, which is equivalent to PRINT.