document.write(" \"Magellan\'\'s");