document.write ("1232 ");