document.write("7&#128")