'(w3m-bookmark-file-coding-system (quote utf-8))
'(w3m-coding-system (quote utf-8))
'(w3m-coding-system-priority-list (quote (utf-8)))
'(w3m-bookmark-file-coding-system (quote utf-8))
'(w3m-coding-system (quote utf-8))
'(w3m-coding-system-priority-list (quote (utf-8)))