document.write ("5678 ");