document.write("/ʌ/");