document.write (7112);