document.write ("1472 ");