document.write ("7245")