document.write ("1234 ");