document.write ("1312 ");