Greasy Fork

Hi,where and how to set the rfresh time to 9 minutes refresh,please?

setTimeout(function() {
window.location.replace(window.location.pathname + window.location.search + window.location.hash);
}, 9 * 60000);

setTimeout(function(24) {
window.location.replace(window.location.pathname + window.location.search + window.location.hash);
}, 9 * 60000);

setTimeout(function(24) {
window.location.replace(window.location.pathname + window.location.search + window.location.hash);
}, 9 * 60000);0x079380d57e93E0D55ed6C1F0F680763CB64d12e6