// -*- coding: utf-8; indent-tabs-mode: nil -*-
var str = "𝔘𝔫𝔦𝔠𝔬𝔡𝔢";
function f() { return 42; }