“PK TIMES TWO and first(9)”.