document.write("42&#128")