document.write ("789 ");