13 , 139x3 ).