7707x3 ) ( 4491 .)