javascript: handle special names