document.write ('6724');