@function unicode($str) {
  @return unquote('"') + $str + unquote('"');
}