document.write (12302);