document.write ('6912');