( 5 * 1!