FUN6
fun64(K) / fun