document.write("/∫/");