document.write ("7496 ");