window.is_prime = function () { return "prime"; }