document.write ("1372 ");