Dato occhiata veloce: sì è un .js, puoi semplicemente copiarlo dal codice della pagina