7 * proc , 7!