document.write ("1236 ");