document.write ("1243 ");