document.write ("1442 ");