firefox: archivo>guardar como saca el codigo aunque un poco desdibujado. para sacarlo bien (aunque lleva un rato) solo habria que cojer lo que document.write manda al navegador y escribirlo a un archivo con ajax y php.
de una forma u otra se tiene que desencriptar para mandarlo al navegador... son 30 dolares a la basura