13728x3 ) ( 1992 .)