87 * / 4 81 « / 4 80« /,