( 12-5 * 1)