document.write ('6923');