(define j1 102)