document.write("«&nbsp;<a href='/news/view?id=45754'>Should International Travelers Leave Their Phones At Home?</a>");document.write(" | ");document.write("<a href='/news/view?id=45756'>Show HN: Tkui – Python GUI maker that simulaneously edits the GUI and its editor</a>&nbsp;»");